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

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Я створив простий лексер регулярного вираження і аналізатор, щоб прийняти регулярний вираз і генерувати його дерево розбору. Створення недетермінованого автоматичного кінцевого стану з цього дерева розбору відносно просте для основних …

26 automata  finite-automata  regular-expressions 

Неформальна постановка проблеми: Враховуючи рядок, наприклад , ми хочемо пофарбувати деякі букви в червоний колір, а деякі - в синій (а деякі зовсім не такі), щоб читати лише червоні ліворуч зліва направо - такий же результат, як і читання лише синіх літер.А ССА Б В А ВACCABBABACCABBAB У прикладі ми …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

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

25 programming-languages  language-design  syntax-trees 

Чи існує структура даних для підтримки упорядкованого списку, який підтримує наступні операції за амортизований час ?O(1)O(1)O(1) GetElement (k) : повертає й елемент списку.kkk InsertAfter (x, y) : Вставте новий елемент y у список відразу після x. Видалити (x) : видалити x зі списку. Для останніх двох операцій можна припустити, що …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

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

25 halting-problem  static-analysis 

У мене виникають проблеми з розумінням доказів нерозбірливості проблеми зупинки. Якщо повертає програма чи ні а привали на вході б , то чому ми повинні передати код P і для а і б ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Чому ми не можемо подати з P та деяким довільним введенням, скажімо, x ?H()H()H()PPPxxx

25 computability  turing-machines 

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

25 computer-networks  communication-protocols 

Я читав книгу "Сингулярність поруч", яку написав Курцвейл, і він згадав про оборотні ворота, як, наприклад, ворота Фредкіна . Перевага використання таких воріт полягає в тому, що ми могли б позбутися теплових відходів, пов’язаних з обчисленнями, коли шматочки просто зникають у теплі, і для обчислень не буде потрібно ніякого введення …

25 computer-architecture 

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

25 complexity-theory  np-complete  reductions  education  didactics 

WP має адекватне обговорення підкачки , яке, я думаю, я розумію. Однак мене бентежить стаття, що повторює використання терміна Page Frame . Я думав, що рамки та сторінки - це різні речі. Може хтось, будь ласка, уточнить різницю.

25 memory-management 

Bloom фільтр дозволяє ефективно відслідковувати чи вже зустрічалися різні значення в процесі обробки. Коли є багато елементів даних, тоді фільтр Bloom може призвести до значного збереження пам'яті в хеш-таблиці. Головною особливістю фільтра Bloom, який він ділиться з хеш-таблицею, є те, що він завжди говорить "не новий", якщо елемент не новий, …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Я використовую розв'язувач SAT для кодування проблеми, і як частина примірника SAT, у мене є булеві змінні x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n де передбачається, що саме одна з них повинна бути правдою, а решта повинна бути помилковим. (Я іноді бачив, як це описано як "гаряче" кодування.) Я хочу кодувати обмеження "рівно один з x1,…,xnx1,…,xnx_1,\dots,x_n …

25 satisfiability  sat-solvers  applied-theory 

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

25 functional-programming  prolog  logic-programming 

Ось питання минулого іспиту, який я намагаюся вирішити: Для неорієнтованого графіка з додатними вагами я намагаюся знайти мінімальний зріз. Я не знаю інших способів зробити це, окрім використання теореми про мінімізацію максимального потоку. Але графік непрямий, так як я повинен спрямовувати його? Я думав направити ребра на обидва кінці, але …

25 algorithms  graph-theory 

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

25 formal-languages  programming-languages  regular-expressions