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

Я знаю, що існують нерегулярні мови, так що є регулярним, але всі приклади, які я можу знайти, залежать від контексту, але не є контекстними.L∗L∗L^* Якщо немає, як це довести?

13 formal-languages  context-free  regular-languages 

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

13 algorithms  randomness  sudoku 

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

13 algorithms  shortest-path  heuristics 

Здається, що "Основні регулярні вирази", визначені POSIX.1-2008 , не підтримують чергування a|b(хоча деякі греп-реалізації розпізнають уникнуту версію, \|). Оскільки звичайні мови за визначенням закриті союзом, чи означає це, що POSIX BRE має меншу виражальну силу, ніж кінцевий автомат? Або є якийсь спосіб імітувати чергування за допомогою інших конструкцій?

13 formal-languages  regular-expressions 

Чи можуть бути внесені зміни в процесори, щоб зробити їх ефективнішими для одночасних циклів виконання, таких як Rust? Наприклад, чи є зміни у впровадженні передбачення гілок чи розмірах кешу, які допоможуть одночасно виконуватись? У мене складається враження, що поточні конструкції процесора можуть бути оптимізовані більше для процедурних процесів, таких як …

13 computer-architecture  concurrency  functional-programming 

Я подумав, що я правильно зрозумів залежне введення тексту (DT), але відповідь на це питання: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Інтуїтивістська теорія типу B6f для створення створювала думки про інше. Прочитавши DT і намагаючись зрозуміти, що вони є, я намагаюся задатися питанням, що ми отримуємо від цього поняття DT? Вони здаються більш гнучкими та …

13 logic  type-theory  intuition 

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

13 graph-theory 

Загальновідома проблема SAT тут визначена для довідок. Проблема DOUBLE-SAT визначається як DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Як ми можемо довести, що він є повним NP? Буде оцінено не один спосіб …

13 complexity-theory  np-complete  satisfiability 

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

13 algorithms  dynamic-programming  efficiency  algorithm-design 

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

13 algorithms  graphs 

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

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Зачинено. Це питання поза темою . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб воно було тематичним для обміну стеками з інформатики. Закрито 2 роки тому . Типи AFAIU можуть бути Setелементами, елементи яких є програмами, або propositionелементами яких є Докази. Отже, виходячи з цього розуміння: Inductive …

13 dependent-types  coq 

Якщо у мене є дві матриці і розмірами та відповідно, і хочеться обчислити , то більш ефективно спочатку переписати вираз як і лише тоді оцінюйте числово, тому що має розмірність а має розмірність .B 1000 × 2 2 × 1000 ( A B ) 5000 A ( B A ) …

13 optimization  dynamic-programming  linear-algebra 

З того, що я прочитав у preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Це визначення PTAS : Поліноміальна схема наближення часу ( PTAS ) для задачі - це схема …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Я подумав, що це питання краще подавати в CS частині Stack Exchange. Тепер, коли у нас є GPGPU з такими мовами, як CUDA та OpenCL, чи все-таки служать розширення для мультимедійних SIMD (SSE / AVX / NEON) цілі? Нещодавно я прочитав статтю про те, як інструкції SSE можуть використовуватися для …

13 computer-architecture  parallel-computing