Вопросы с тегом «software»

Предположим, что соавторы из двух или более различных учреждений пишут бумагу в латексе и хотели бы добиться большего успеха, чем неоднократно отправлять черновики по электронной почте взад и вперед. Они понимают, что могут бесплатно открыть учетную запись Dropbox, поделиться паролем и синхронизировать версию документа на своем компьютере с версией Dropbox. …

36 soft-question  research-practice  software  writing 

Предположим, я хотел формализовать доказательство Тьюринга относительно проблемы остановки, чтобы машина могла его проверить. Некоторые из известных автоматизированных систем доказательства теорем включают Mizar, Coq и HOL4. Я скачал и экспериментировал с Coq, но у него нет библиотеки для машин Тьюринга. Я думал сам написать один код, но обнаружил, что учебника …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

Кто-нибудь знает о программе с открытым исходным кодом для вычисления дерева разложения графов для фиксированной "k" (ширина)? Я знаю, что проблема поиска Tree-Decomposition является NP-Hard для переменной «k», но мои входные экземпляры будут очень маленькими (~ 10 узлов), и «k» исправлена.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Может ли кто-нибудь указать на один или несколько веб-сайтов, где можно загрузить работающую реализацию решателя #SAT? Меня интересуют те, кто возвращает точное количество решений, а не приближение.

21 ds.algorithms  sat  software 

При объединении результатов часто желательно иметь несколько профессионально выглядящих диаграмм, а не диаграмм, составленных в MS Paint. Какой стандарт для рисования структур данных?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Я использовал Jung ( http://jung.sourceforge.net/ ) для визуализации ранга страницы, и мне показалось немного медленным и трудным масштабировать его за пределы 100 узлов. Мне было интересно, какие другие инструменты люди используют для анализа и визуализации сетей / социальных сетей.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

Большинство работ в настоящее время написаны совместно, и сотрудники часто находятся в разных местах. Я всегда использовал системы контроля версий для своих документов и кода, а также обнаружил, что контроль версий важен для совместных программных проектов, но, похоже, многие исследователи в теории избегают их использования для написания совместных работ. Чтобы …

20 soft-question  research-practice  software  writing 

Существует ли какой-либо программный пакет, позволяющий разложить унитарные единицы из в квантовые цепи по заранее определенному набору универсальных вентилей?U(2n)U(2n)U(2^n)

15 quantum-computing  software 

Я заинтересован в реализации SM для задачи LP, однако я слышал о возможных подводных камнях: книга Кормена говорит, что возможно иметь входные данные, которые приведут к тому, что наивная реализация будет вести себя экспоненциально. Я также слышал, что наивная реализация может зацикливаться на каких-то данных. Есть ли книга / бумага …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Я хотел бы написать математические доказательства, используя некоторый помощник по доказательствам. Все будет написано с использованием логики первого порядка (с равенством) и естественного вывода. Фон - теория множеств (ZF). Например, как я мог написать следующее доказательство? Аксиома: ∀ х ∀ у( х = у↔ ∀ г( з∈ x ↔ z∈ …

12 lo.logic  software  proof-assistants 

Все известные мне решатели #SAT, например RelSat, C2D, возвращают только количество выполнимых экземпляров. Но я хочу знать каждый из этих случаев? Существует ли такой решатель #SAT или как мне изменить имеющийся решатель #SAT, чтобы сделать это? Спасибо.

11 lo.logic  sat  software 

Я ищу программное обеспечение для вычисления / оценки объема многомерных выпуклых многогранников. В частности, я заинтересован в программе, которая может обрабатывать тела сNNn вершины в dddпространство с параметрами, ограниченными примерно следующим образом: d≤ 50d≤50d \le 50 а также n ≤ 1000N≤1000n \le 1000, Обратите внимание, что нет гарантии на количество …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry