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

Я шукаю формальне визначення файлу, що включає не лише сховище, але й абстракції, такі як procfs або / dev / null (або будь-який файл на основі запобіжників), які не стосуються зберігання. Поки я знаю, що всі файли - це абстракції можна ідентифікувати може мати імена (як правило, організовані в ієрархічних …

9 operating-systems  os-kernel  filesystems 

Я опублікував це на MathUnderflow, але не отримав відповідей, тому подумав, що спробую тут, Я читаю стару книгу Рабіна та Фішера [опублікую посилання, коли це можливо], де, серед іншого, доведена подвійна експоненціальна складність арифметики Пресбургера. Доказ покладається на існування формули Ян( х )Ян(х)I_{n}(x) неофіційно стверджує "х <22k x + 1х<22кх+1x …

9 complexity-theory  reference-request  logic 

Відповіді на це запитання на Crypto Stack Exchange в основному говорять про те, що для вимірювання складності проблеми логарифму ми повинні взяти до уваги довжину числа, що представляє розмір групи. Це здається довільним, чому б ми не обрали розмір групи як аргумент? Чи є критерій, щоб знати, який аргумент обрати? …

9 time-complexity  discrete-mathematics  cryptography 

Зазвичай я бачу, що в структурному представленні оперативної семантики для циклу while стан програми не змінюється: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Для мене це не інтуїтивно зрозуміло, якщо стан не зміниться …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Двосторонній графік є планарним, якщо він не має неповнолітніх або .K3,3K3,3K_{3, 3}K5K5K_5 Я шукаю необхідні або / і достатні умови, щоб дозволити площинні малюнки без країв "обходити" набори вершин. Це малюнки, що задовольняють: Всі вершини однієї частини малюються однією вертикальною лінією. Вершини іншої частини малюються паралельною лінією вершини. Краї не …

9 graph-theory  terminology  graph-drawing 

З огляду на триангуляцію (без точок Штейнера) простого многокутника , можна вважати дуалом цієї триангуляції, який визначається наступним чином. Ми створюємо вершину для кожного трикутника в нашій триангуляції і з'єднуємо дві вершини, якщо відповідні трикутники розділяють ребро. Подвійний графік, як відомо, є деревом з максимальним ступенем три.ПPP Для моєї заяви …

9 reference-request  computational-geometry 

Я хочу створити найкоротший шлях ( буде менше 10) між усіма парами в графі. Графік (фактично карта метро):кkkккk позитивно зваженою непрямий розріджений з приблизно 100 вузлами Мій поточний план - застосувати ккkнайкоротший шлях до кожної пари; Зараз я шукаю більш ефективну альтернативу (можливо, з динамічним програмуванням).

9 algorithms  graphs  optimization  shortest-path 

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

9 reductions  network-flow  bipartite-matching 

У мене виникло питання про проблему зупинки, і я не зміг знайти хорошої відповіді в Інтернеті, цікавившись, чи хтось може допомогти. Чи можливо, що проблема зупинки вирішується для будь-якого ТМ на будь-якому вході, якщо вхід не є самою TM? В основному: Halts(TM, I) IF TM == I: Undecidable, return a …

9 computability  undecidability  halting-problem 

Я вивчаю методи впровадження мов програмування, і нещодавно натрапив на спагеті, які нібито добре підходять для моделі стилю продовження передачі (враховуючи їх використання, наприклад, у Scheme та SML / NJ ). Для цього просто розглянемо лише однопотокові процеси для цього питання. Однак мене трохи бентежить діаграма у Вікіпедії (також зустрічається …

9 data-structures  programming-languages  continuations 

Усі три DFA, NFA та epsilon NFA дозволяють нам представляти певну регулярну мову. За допомогою будь-якого з цих уявлень ми можемо дійти до того ж регулярного виразу, чому тоді нам потрібно вивчити всі три форми подання кінцевих автоматів? Можна пояснити, що може зробити NFA, а DFA не може, тобто NFA …

9 automata  finite-automata  education 

Сьогодні на обід я підняв це питання разом із колегами, і на моє здивування, аргумент Джеффа Е. про те, що проблема вирішується, не переконав їх ( ось тісно пов'язаний пост про математичний потік). Вирішення проблеми, яке простіше пояснити ("це P = NP?"), Також вирішується: або так, ні, і одна з …

9 computability  undecidability 

Рандомізовані розплавні куби мають операцію "meld", яку ми потім використовуємо для визначення всіх інших операцій, включаючи вставку. Питання в тому, яка очікувана висота дерева з вузлами?nnn Теорема 1 Гамбіна та Малінковського, чергові черги з рандомізованим розточуванням (Праці SOFSEM 1998, Записки лекцій з інформатики, т. 1521, с. 344–349, 1998; PDF ) …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

Для того, щоб довести, що 3-х забарвлення можна вирішити, чи достатньо сказати: Кожен вузол у графі має 3 можливі кольори Тому ми можемо перерахувати всі можливості, а потім перевірити, чи не два ребра з'єднують вузли одного кольору3н3н3^n Чи це доводить, що 3-х забарвлення можна вирішити? Або мені потрібно створити машину …

9 computability  turing-machines  colorings 

Я вивчаю дерева перспективних точок, і це я зустрів, читаючи статті Структури даних та алгоритми для найближчого пошуку сусідів у загальних метричних просторах Петра Янілоса ( Праці SODA 1993 , SIAM, сторінки 311–321; PDF ). У алгоритмі 1 з'являється наступний псевдокод. function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…function Make_vp_tree(S)if S=∅ then …

9 notation