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

Вопросы о программном обеспечении / программах / приложениях, используемых исследователями TCS

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

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

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

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

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

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

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


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

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

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

1
Вычислительный объем многомерных выпуклых многогранников
Я ищу программное обеспечение для вычисления / оценки объема многомерных выпуклых многогранников. В частности, я заинтересован в программе, которая может обрабатывать тела сNNn вершины в dddпространство с параметрами, ограниченными примерно следующим образом: d≤ 50d≤50d \le 50 а также n ≤ 1000N≤1000n \le 1000, Обратите внимание, что нет гарантии на количество …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.