Теоретична інформатика

MCTS / UCT - це метод пошуку дерев ігор, який використовує алгоритм бандита для вибору перспективних вузлів для дослідження. Ігри граються до їх завершення випадковим чином, і вузли, що ведуть до більшої кількості виграшів, вивчаються більше. Алгоритм бандитів підтримує баланс між дослідженнями вузлів з високим коефіцієнтом виграшу та дослідженням невідомих …

10 optimization  ai.artificial-intel  board-games 

Я переглядав насіннєвий документ Ле Валіанта, і мені було важко з пропозицією 4.3 на сторінці 10 статті. Я не можу зрозуміти, чому так, якщо є генератор з певними значеннями для з основою { ( a 1 , b 1 ) … ( a r , b r ) } , …

10 ds.algorithms  counting-complexity  survey 

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

10 lg.learning  machine-learning  dc.parallel-comp 

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

10 ds.algorithms  graph-algorithms  graph-isomorphism 

Враховуючи булеву ланцюг на змінних (яка використовує лише ворота NOT, AND і OR), який найефективніший спосіб отримати булеву формулу, представлену схемою? Чи існує алгоритм багаточастоти для цієї проблеми?нСCCнnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Норма зрізу реальної матриці - це максимум для всіх кількості. A = ( a i , j ) ∈ R n × n I ⊆ [ n ] , J ⊆ [ n ] | ∑ i ∈ I , j ∈ J a i , j |||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

Девід Родрігес - dribeas написав у коментарі StackOverflow, що "Не всі колекції можна реалізувати без блокування". Я не впевнений, чи це правда, і я не можу знайти доказів в будь-якому випадку. Це твердження не дуже точне, але дозвольте спробувати переформулювати його дещо формальніше: для кожного типу колекції Cіснує безконтактний збірник …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

У мене є наступна набрана теорія |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) з рівняннями для всіх термінів: f : A -> B, …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

У цьому питанні було зазначено, що існують описові варіанти складності теореми Райса. Я знайшов доказ наступної теореми: Враховуючи клас складності C , нетривіальні властивості мов на C не можуть бути обчислені в C Раніше я розміщував знайдене нами доказ, але оскільки воно було так тривалим і тому, що в коментарях …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Це питання таке ж, як і натхненна розмова для учнів випускних класів . Мій кандидат наук. радник попросив мене натхненно поговорити для нового магістра. студенти. Тема - основи криптографії , що найкраще проілюстровано книгою Голдріха . Розмова займе приблизно одну годину, і я хочу ознайомити студентів з основними конструкціями (наприклад, …

10 reference-request  soft-question  cr.crypto-security  teaching 

Я прочитав трохи про такі структури даних: Ідеальний хеш Багвелла Динамічні хеш-таблиці Larson Червоно-чорні дерева Патріція дерева ... і я впевнений, що там багато інших. Я дуже мало бачив на шляху того, що кожному краще підходить, або чому я б обрала одне над іншим. Отже, ось кілька питань у цьому …

10 ds.data-structures  functional-programming  tree  hash-function 

Нехай - корінне двійкове дерево. Кожен шлях від кореня Т до листя має довжину n . Кожен вузол T завжди має лівий і правий дочірній вузол, але можливо, що вони однакові (Отже, завжди можливі 2 n шляхи). Розмір T обмежений O ( p o l y ( n ) ) …

10 graph-theory  tree 

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

10 cc.complexity-theory  big-picture 

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

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Маючи справу з теоретичними категоріями доменів (скажімо, CPO і CPO), я часто бажаю словника мови теорії категорій в теорії домену.ωω\omega Тобто, з огляду на поняття, скажімо, монічна стрілка, я міг би переглянути його у словнику та побачити, які відомі його характеристики у різних категоріях доменів. Я усвідомлюю, що цього бажання …

10 ct.category-theory  semantics  denotational-semantics  domain-theory