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

Я задав (насіння) питання про суми термінів Ландау до , намагаючись оцінити небезпеку зловживання асимптотика позначення в арифметиці, зі змінним успіхом. Тепер, тут наш рецидиви гуру JeffE робить в основному це: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Хоча кінцевий результат правильний, я думаю, що це неправильно. Чому? Якщо додати, що …

10 terminology  asymptotics  landau-notation 

У контексті нашого дослідження гематологічних автоматів я хотів би довести, що певний варіант не може приймати не контекстно-чутливі мови. Оскільки у нас немає еквівалентної граматичної моделі, мені потрібен доказ, що використовує лише автомати; тому я маю показати, що купі автомати можуть бути імітовані за допомогою LBA (або еквівалентної моделі). Я …

10 automata  pushdown-automata 

Я отримую доказ переходу від перечислювача до машини Тьюрінга (продовжуйте працювати перелік і дивіться, чи відповідає він вводу), але я не бачу, як працює інший спосіб. Згідно з моїми примітками та книгою (Вступ до теорії обчислень - Сіпсер), щоб отримати Тюрінг-перелік з машини Тьюрінга, ми в основному пишемо всі комбінації …

10 computability  turing-machines  intuition 

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

10 artificial-intelligence  neural-networks  neural-computing 

У мене є проблема в думці, я думаю, що це проблема NPC, але я не знаю, як це довести. Ось проблема: У дуже великому озері є k островів, і є п вентиляторних понтонів. Ці понтони мають однаковий розмір, але мають різні початкові напрямки і знаходяться в різних оригінальних положеннях в …

10 complexity-theory  np-complete  np-hard 

Я намагаюся розробити завдання (взято з книги « Алгоритми - С. Дасгупта, CH Пападімітріу та УФ Вазірані , гл. 8, проблема 8.6а), і я перефразовуючи те, що в ньому йдеться: Зважаючи на те, що 3SAT залишається NP-повним навіть тоді, коли обмежується формулами, в яких кожен літерал з’являється максимум двічі, покажіть, …

10 complexity-theory  satisfiability  3-sat 

Я дуріла з демонстрацією Maze Google Blocky і згадала старе правило, що якщо ви хочете вирішити лабіринт, просто тримайте ліву руку до стіни. Це працює для будь-якого простого підключеного лабіринту і може бути реалізовано кінцевим перетворювачем. Нехай наш робот представлений перетворювачем із наступними діями та спостережуваними характеристиками: Дії: рухайтеся вперед …

10 automata  finite-automata  artificial-intelligence 

Чи буде потреба змінити визначення безпеки, якщо у нас є квантові комп'ютери? Які криптографічні конструкції зламаються? Чи знаєте ви опитування чи статтю, яка пояснює, що потрібно буде змінити?

10 reference-request  cryptography  quantum-computing 

Альтернативна рецептура Я придумав альтернативну формулювання нижчезазначеної проблеми. Альтернативна формулювання насправді є окремим випадком задачі нижче та використовує двосторонні графіки для опису проблеми. Однак я вважаю, що альтернативна форма все ще є важкою для NP. Альтернативна рецептура використовує роз'єднаний набір вхідних та вихідних вузлів, що спрощує визначення проблеми. Враховуючи вихідних …

10 complexity-theory  graphs  graph-theory  np-complete 

Чи потрібно, щоб був нескінченним, щоб бути невизначеним?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я маю на увазі, що якщо ми виберемо мову буде обмеженою кінцевою версією , тобто , ( ), з . Чи можливо бути невід’ємною мовою? L′L′L' | L ′ | ≤ N N ∈ N L ′ ⊂ L L ′L⊆Σ∗L⊆Σ∗L\subseteq …

10 formal-languages  computability  undecidability 

Добре відомо, що одноманітні багатокутники відіграють вирішальну роль у триангуляції полігонів . Визначення: Багатокутник у площині називається монотонним відносно прямої , якщо кожна пряма, прямокутна на перетинає не більше ніж удвічі.PPPLLLLLLPPP Враховуючи лінію та багатокутник , чи існує ефективний алгоритм для визначення того, чи є багатокутник однотонним щодо ?LLLPPPPPPLLL

10 algorithms  computational-geometry 

Нехай A і B - мови з A ⊆ B, а B - впізнаваним Тьюрінга. Чи може A не бути впізнаваним Тьюрінга? Якщо так, чи є приклад?

10 computability 

Для задоволення я намагаюся зробити телевізійний переглядач для DCPU-16 . Я розумію, як зробити все, окрім того, як приховати лінії, заховані в дротяній рамі. Усі запитання, про які йдеться тут, припускають, що у вас є доступ до OpenGL, на жаль, я не маю доступу до подібного для DCPU-16 (або будь-якого …

10 algorithms  computational-geometry  graphics 

У багатьох текстах нижня межа знаходження го найменшого елемента виведена з використанням аргументів за допомогою медіанів. Як я можу знайти його за допомогою супротивного аргументу?кkk У Вікіпедії сказано, що алгоритм турніру працює в , а буде дано , як нижня межа.n - k + ∑ n j = n + …

10 algorithms  algorithm-analysis 

Зважаючи на характер запитання, я повинен включати багато довідкової інформації (оскільки моє запитання: як я звужу це?). Сказане, це може бути узагальнено (наскільки мені відомо) як: Які існують методи для пошуку локальних оптимумів на надзвичайно великих просторах комбінаторного пошуку? Фон У спільноті суперігор за допомогою інструментів ми прагнемо надати спеціально …

10 reference-request  machine-learning  combinatorics  optimization  search-problem