Комп'ютерна наука

Перш ніж читати «Мистецтво комп’ютерного програмування» (TAOCP) , я глибоко не розглядав ці питання. Я б використовував псевдо-код для опису алгоритмів, розуміння їх та оцінки часу виконання лише щодо порядків зростання. TAOCP ретельно змінює свою думку. TAOCP використовує англійську мову, змішану з кроками та goto, для опису алгоритму, а також …

20 algorithms  proof-techniques  runtime-analysis 

У мене виникли проблеми з прийняттям теоретичного уявлення про складність «ефективного рішення паралельного алгоритму», яке задається класом NC : NC є класом проблем , які можуть бути вирішені з допомогою паралельного алгоритму під час O(logcn)O(logc⁡n)O(\log^cn) на p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k) процесори з c,k∈Nc,k∈Nc,k \in \mathbb{N} . Ми можемо припустити ПРАМ . …

20 complexity-theory  reference-request  parallel-computing 

Я хотів би написати просту програму, яка приймає набір вікон (ширина + висота) та роздільну здатність екрана і виводить розташування цих вікон на екрані таким чином, що вікна займають найбільше місця. Тому можна змінити розмір вікна, зберігаючи output size >= initial sizeта співвідношення сторін. Отже, для вікна iii я хотів …

20 algorithms  computational-geometry  packing  user-interface 

Дозвольте розпочати, зазначивши, що це проблема домашнього завдання. Будь ласка, надайте лише поради та відповідні спостереження, НЕ Прямих відповідей, будь ласка . З урахуванням сказаного, ось проблема, на яку я дивлюся: Нехай HALF-CLIQUE = { | - це непрямий графік, що має повний підграф з принаймні вузлами, де n - …

20 complexity-theory  np-complete  reductions 

Чи знаєте ви який-небудь алгоритм, який ефективно розраховує факторіал за модулем? Наприклад, я хочу програмувати: for(i=0; i<5; i++) sum += factorial(p-i) % p; Але, pє велика кількість (простим) для прямого застосування факторіалу (p≤108)(p≤108)(p \leq 10^ 8) . У Python це завдання дійсно просте, але мені дуже хочеться знати, як оптимізувати.

20 algorithms  efficiency  integers 

Я самостійно навчаюсь автоматизованому доказуванню теореми / розв'язкам SMT / кореспондентам і розміщую низку питань про цей процес, починаючи тут . Які відповідні докази автоматизованої теореми? Я знайшов огляд доказів теореми Це все ще актуально? Які з них ще дуже активні, тобто які зараз використовуються поза групою, яка його створила? …

20 logic  automated-theorem-proving  proof-assistants 

WalkSAT і GSAT - це відомі та прості алгоритми локального пошуку для вирішення булевої задачі про задоволення. Псевдокод для алгоритму GSAT скопійований із запитання " Реалізація алгоритму GSAT" - Як вибрати, яку буквальну частину слід перевернути? і представлені нижче. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries …

20 algorithms  data-structures  satisfiability 

У відомому нарисі Річарда Габріеля «Rise of Worse is Better Better» він протиставляє карикатурні версії дизайнерських філософій MIT / Stanford (Lisp) та New Jersey (C / Unix) уздовж осей простоти, правильності, послідовності та повноти. Він наводить приклад "проблеми програвача ПК" ( обговорюваної в іншому місці Джошем Хаберманом ), щоб стверджувати, …

20 programming-languages  operating-systems 

У мене є завдання, де мені потрібно скористатись двійковим деревом пошуку та змінити його, щоб самозамовитись таким чином, щоб елементи, до яких звертається найбільше (мають більший пріоритет), були у верхній частині дерева, корінь - самий доступний вузол . Професор дав мені BST і структуру вузлів, з якими я працюю, але …

20 algorithms  data-structures  binary-trees  search-trees 

Дана мічена система переходу , де - це набір станів, - це набір міток, а - потрійне відношення. Як завжди, запишіть for . Позначений перехід позначає, що система в стані змінює стан на з міткою , це означає, що - деяка спостерігається дія, яка викликає зміну стану.(S,Λ,→)(S,Λ,→)(S,\Lambda,\to)SSSΛΛ\Lambda→⊆S×Λ×S→⊆S×Λ×S\to\subseteq S\times\Lambda\times Sp→αqp→αqp \stackrel\alpha\rightarrow …

20 programming-languages  formal-methods  semantics  process-algebras 

Алгоритм GSAT здебільшого прямий вперед: ви отримуєте формулу в кон'юнктивному звичайному вигляді і перегортаєте буквальні пункти до тих пір, поки не знайдете рішення, яке задовольняє формулі, або ви не досягнете граничного значення max_tries / max_flips і не знайдете рішення. Я реалізую такий алгоритм: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula …

20 algorithms  satisfiability  3-sat 

Не рідкість бачити студентів, які починають докторські дисертації лише з обмеженим досвідом математики та формальних аспектів інформатики. Очевидно, що таким студентам буде дуже важко стати теоретиками-комп’ютерами, але було б добре, якби вони могли стати кмітливими, використовуючи формальні методи та читаючи документи, що містять формальні методи. Який хороший короткостроковий шлях, який …

20 formal-methods  education 

Щодо квантових воріт Тоффолі : це класика універсальна, і якщо так, то чому? чи квантово універсальний, і чому?

20 quantum-computing  circuits  turing-completeness 

Розгляньте проблеми вирішення, викладені якоюсь "розумною" формальною мовою. Скажімо, формули арифметики Пеано вищого порядку з однією вільною змінною як орієнтир, але мене однаково цікавлять інші моделі обчислень: Діофантинові рівняння, проблеми зі словом з правил переписування за допомогою машин Тьюрінга і т.д. Відповідь, виражена в будь-якій класична формалізація буде добре, хоча …

20 computability  undecidability 

Як я можу довести, що перетворення від CNF до DNF є NP-Hard? Я не прошу відповіді, лише кілька пропозицій про те, як слід довести це.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms