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

Я знаю, що це може звучати трохи поза коробкою, насправді я завжди думав усередині коробки, але останнім часом я замислювався, можливо, тому, що інформатика дає високу ступінь свободи, про шляхи розробки інших програм, ніж ті, що викладають в університеті. Розглянемо факторіальну функцію. Зазвичай ми визначаємо цю функцію як int fact(int …

12 algorithms 

Чи передбачає повнота coNP твердість NP? Зокрема, у мене є проблема, яку я показав, що він завершено. Чи можу я стверджувати, що це важко? Я розумію, що я можу претендувати на твердість coNP, але я не впевнений, що ця термінологія є стандартною. Мені подобається твердження, що якщо проблема, повна NP, …

12 complexity-theory  np-hard 

Нам дається масив з усіма .a[1…n]a[1…n]a[1 \ldots n]a[i]>0a[i]>0a[i]>0 Тепер нам потрібно знайти, скільки різних сум може бути сформовано з його підматриць (де підматриця є суміжним діапазоном масиву, тобто для деяких , сума - це сума всіх елементи підмагістралі). Наприклад, якщо , то відповідь 4: ми можемо сформувати .a[j…k]a[j…k]a[j\ldots k]j,kj,kj,ka=[1,2,1]a=[1,2,1]a=[1,2,1]1,2,3,41,2,3,4 1,2,3,4 …

12 arrays  substrings  suffix-array 

Ось проблема: Доведіть, що односмугові машини Тюрінга, які не можуть записати на частину стрічки, що містить вхідний рядок, розпізнають лише звичайні мови. Моя ідея - довести, що саме ця ТМ еквівалентна DFA. Використовувати цю ТМ для імітації DFA дуже просто. Однак, коли я хочу використовувати цей DFA для імітації TM, …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Я не знаю, чи це був жарт, але одного разу я прочитав те, що називалося формальним визначенням файлу в такій версійній системі, як git, hg або svn. Це було щось на зразок математичного об'єкта, як гомеоморфізм. Це був жарт чи є насправді теорія інформатики щодо версійних систем та математики VCS?

12 terminology  reference-request 

Нещодавно я зрозумів, що існує якась залежність між теорією типу Руссель та типовими системами, як, наприклад, у Haskell Насправді, деякі позначення типів у Haskell, схоже, є попередниками в теорії типів. Але, IMHO, мотивація Рассела в 1908 році полягала в тому, щоб уникнути парадоксу Рассела, і я не впевнений, як це …

12 programming-languages  type-theory 

Я намагаюся вирішити цю проблему і дуже боюся. Монотонна булева формула являє собою формулу в логіці висловлювань , де все літерали є позитивними. Наприклад, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) є монотонною булевою функцією. З іншого боку, щось подібне ( х1∨ x2∨ …

12 complexity-theory  np-complete  satisfiability 

Чому трансформація Лапласа не популярна для згортки обробки зображень? Більшість підручників перетворюють лише перетворення Фур'є.

12 history  image-processing 

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

12 algorithms  trees 

Чи змінюється складність проблеми, що сильно впливає на NP або завершена NP (як, наприклад, визначено тут ), коли її вхід не є одинаковим, а не бінарним? Яка різниця, якщо вхід сильно важкої проблеми NP не є закодованим? Я маю на увазі, якщо взяти для прикладу слабко повну NP-проблему Knapsack, вона …

12 complexity-theory  time-complexity  np-complete 

Я розумію, що без контексту граматики можна використовувати для представлення без контекстних мов. У нас також є нормальні форми, такі як Хомський і Грайбах нормальної форми. Я не міг зрозуміти необхідності цього. Чому вони важливі в теорії мов? Усі підручники, про які я згадував, розповідають про ці звичайні форми, але …

12 formal-languages  context-free  formal-grammars  normal-forms 

Скажіть, . Тоді як ми можемо довести, що є регулярним?L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Якщо регулярний, то звичайно також є регулярним. Якщо кінцевий, то він регулярний і знову регулярний. Також я помітив, що для , не є регулярним, і є регулярним.LLLL∗L∗L^*LLLL∗L∗L^*L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ …

12 formal-languages  regular-languages 

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

12 machine-learning 

У мене це дуже просте "доказ" для NP = CoNP, і я думаю, що я десь щось зробив неправильно, але не можу знайти те, що не так. Може хтось допоможе мені? Нехай A є деякою проблемою в NP, і нехай M є рішенням для А. Нехай B є доповненням, тобто …

12 complexity-theory  p-vs-np  check-my-proof  np 

Отже, я знаю, що тестування, якщо звичайна мова є підмножиною звичайної мови , вирішується, оскільки ми можемо конвертувати їх як у DFA, обчислити , а потім перевірити, чи ця мова порожня.S R ∩ ˉ SRRRSSSR ∩ S¯R∩S¯R \cap \bar{S} Однак, оскільки це вимагає перетворення на DFA, можливо, що DFA, і, …

12 algorithms  regular-languages  automata  np-complete  decision-problem