Запитання з тегом «terminology»

запитання про визначення, терміни та загальні назви в теоретичній інформатиці.

6
Регулярні вирази - ні
Запитайте навіть у когось із досвіду інформатики, що таке регулярне вираження, і відповідь, ймовірно, вийде за межі обмеження бути в межах досяжності автоматики з кінцевими станами. Наприклад, "регулярний вираз" /^1?$|^(11+?)\1+$/ створений відомою особистістю Perl Abigail (і частина тестового набору Perl з 2002 року) описує машину, яка приймає лише складені одинарні …
1
Проблема задоволення обмеженнями (CSP) проти теорії модуля задоволеності (SMT); з кодом на програмування обмежень
Хтось наважиться спробувати уточнити, яке відношення до цих галузей дослідження чи, можливо, навіть дати більш конкретну відповідь на рівні проблем? Як і те, що включає, що передбачає деякі широко прийняті формулювання. Якщо я це зрозумів правильно, коли ви переходите від SAT до SMT, ви в основному входите в поле CSP; …
2
Походження та застосування Теорії А проти теорії Б?
У кількох останніх питаннях ( q1 q2 ) обговорювалося "Теорія А" проти "Теорія В", яка, здавалося б, охоплює розрив між вивченням логіки та мов програмування та вивченням алгоритмів та складності. Ця термінологія була для мене новою, і швидкий пошук в Інтернеті не з'явив жодних очевидних посилань, що пояснювали б це. …
3
Яка різниця між терміном переписування та відповідності шаблону?
Оскільки у Lambda the Ultimate не було відповіді, я спробую це ще раз: системи переписування термінів використовуються, наприклад, в автоматизованій теоремі, що підтверджує символічний розрахунок, і, звичайно, для визначення формальних граматик. Є кілька мов програмування, заснованих на переписуванні термінів, але, наскільки я розумію, ця концепція більш відома як відповідність шаблонів …
4
Чи існують проблеми без ефективних алгоритмів, де теореми існування довели, що такі алгоритми повинні існувати?
Чи існують проблеми в КС, коли невідомі ефективні алгоритми, незважаючи на те, що існують теореми, що підтверджують, що такі ефективні алгоритми повинні існувати? Як називаються ці проблеми? Де я можу дізнатися більше?
1
Чому ідеальні графіки називають ідеальними?
Вибачте, якщо це наївне питання, але я не зміг знайти виправдання в жодній з головних підручників, таких як Бонді-Мерті, Дістель чи Вест. Ідеальні графіки мають багато прекрасних властивостей, але яка єдина причина, яку вони називають досконалою? Або це просто естетичні переваги Берже?
1
Як називається ця задача заданого графа?
Візьміть спрямований графік де краї прикрашені натуральним числом. Ми хочемо, щоб набір усіх шляхівміж двома вершинамитатаким, щоб кожен наступний край шляху був прикрашений натуральним числом, яке перевищує натуральне число, що прикрашає попередній край.GGGPPPv1v1v_1v2v2v_2 Заявка на це буде розкладом руху автобусів або поїздів. Якщо ви намагаєтеся визначити різні маршрути між двома …
3
Чи існує назва "фізичних речей, з яких можна побудувати машину Тюрінга"?
Однією з дивовижних речей з інформатики є те, що фізична реалізація в деякому сенсі "не має значення". Люди успішно побудували комп’ютери з декількох різних субстратів - реле, вакуумних труб, дискретних транзисторів і т. Д. Люди скоро можуть досягти успіху створити комп’ютери Тьюрінга з нелінійних оптичних матеріалів, різних біомолекул та кількох …
2
Чи є пропозиція резолюції повною системою доказів?
Це питання стосується логіки пропозицій, і всі випадки "резолюції" слід розглядати як "пропозицію резолюції". Це питання - щось надзвичайно основне, але мене це хвилює вже деякий час. Я бачу, що люди стверджують, що пропозиція резолюції є повною, але я також бачу людей, що резолюція неповна. Я розумію сенс, у якому …
4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …
1
Як проблема може бути в NP, бути NP-жорсткою і не NP-повною?
Найдовше я думав, що проблема була NP-повною, якщо вона одночасно (1) NP-жорстка і (2) є NP. Однак у відомій роботі "Еліпсоїдний метод та його наслідки у комбінаторній оптимізації" автори стверджують, що проблема дробового хроматичного числення належить до NP та є важкою для NP, але, як відомо, не є повною NP. …
1
Еквівалентні визначення конструктивності часу
Ми говоримо, що функція може бути сконструйована за часом , якщо існує детермінований багатоступеневий апарат Тюрінга який на всіх входах довжини робить не більше кроків і для кожного існує деякий вхід довжини на якому робить різко кроки.f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N}n f ( n ) n n M f ( n )MMMnnnf(n)f(n)f(n)nnnnnnMMMf(n)f(n)f(n) Ми говоримо, …
1
Що таке "псевдо-час" при використанні порівняно з семафорами
Я зараз слухаю розмову Алана Кейса "Це дійсно складно чи ми просто ускладнили це?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), де він каже, що "семафори були поганою ідеєю, і щось було під назвою псевдо-часу, що було вищим" (о 51:40 на пов'язаному відео). Можливо, я неправильно зрозумів слово "псевдо-час", але чи знаєте ви щось …
2
Чому обчислення лямбда є «численням»?
Єдине визначення "обчислення", яке мені відомо, - це вивчення меж, похідних, інтегралів тощо в аналізі. У якому сенсі числення лямбда (або такі речі, як mu calculus) - це «обчислення»? Як це стосується числення в аналізі?
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.