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

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

9 soft-question  research-practice  career 

У контексті недавньої роботи ми визначали мову, засновану на тризначній логіці à la Kleene, де111 означає правду, 000 за хибні, і ⊥⊥\botза помилку чи не знаю. Для того, щоб показати, що наша мова була виразною, ми хотіли довести, що ми можемо побудувати набір операторів функціонально завершених. В літературі було досить …

9 reference-request  lo.logic 

Я хотів з'ясувати, які існують SGT в галузі теорії інформації та кодування, а може бути, і комунікацій. Найбільше, що спадає на думку, - це робота над кодами Expander Майкл Сіпсер і Даніель Спілман, "Коди розширювачів", IEEE Транзакції з інформаційної теорії, т. 42, № 6, стор 1710-1722. 1996 рік Інші приклади?

9 it.information-theory  coding-theory  spectral-graph-theory 

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

9 ds.algorithms  data-mining 

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

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

У мене є питання, відповідь якого, мабуть, добре відомий, але я, здається, не знайшов нічого змістовного після невеликого пошуку, тому я вдячний би за допомогу. Моє запитання - чи відомо, що вирішити, чи є число трансцендентальним, не можна визначити. Можливо, можна взяти за вхід, скажімо, програму, яка повертає i ^ …

9 computability  computable-analysis 

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

9 ds.algorithms  linear-algebra  linear-programming 

Мені хотілося б знати, чому для розпізнавання без контекстних мов працюють лише недетерміновані автоматичні натискання (DPA = NPDA). Чому детерміновані автоматичні системи (DPDA) не розпізнають такі мови?

9 fl.formal-languages  automata-theory  context-free 

При інтерпретації ключів як натуральних чисел ми можемо використовувати таку формулу. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Що я маю проблеми з розумінням - це те, як ми обираємо значення A де: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} За Кнутом оптимальне значення: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - …

9 hash-function 

Припустимо, у мене є список XX\cal X підмножини {1,...,n}{1,...,n}\{1, ..., n\}. Я можу зробити попередню обробку в цьому списку, якщо необхідно. Після цієї попередньої обробки мені представлений ще один набірA⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n \}. Я хочу визначити будь-які набориB∈XB∈XB \in \mathcal X з B⊆AB⊆AB \subseteq A. Очевидний алгоритм (без …

9 ds.algorithms  ds.data-structures 

Я шукаю програмне забезпечення для обчислення / оцінки обсягу високовимірних опуклих багатогранників. Більш конкретно, мене цікавить програма, яка може обробляти тіла з вершин у -вимірному просторі з параметрами, обмеженими приблизно так: та . Зауважте, що немає гарантії щодо кількості облич.ннnггdг≤ 50г≤50d \le 50n ≤ 1000н≤1000n \le 1000 На сторінці Джеффа …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

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

9 ne.neural-evol 

(Вибачте, якщо це неправильно або занадто широко. Я відкритий для пропозицій, як переформулювати це.) Мені цікаво простежити "древню" історію алгоритмів максимального потоку та дискретні алгоритми оптимізації взагалі. Форд-Фулкерсон - моя солом’яна людина. Які були значні досягнення до цього? Як далеко ми можемо пройти, поки ще можемо зробити аргументований аргумент, що …

9 ds.algorithms  graph-algorithms  ho.history-overview 

Теорема PCP стверджує, що кожна проблема вирішення в NP має ймовірніше перевіряються докази (або що рівнозначно, що існує повна і квазізвукова система доказів теорем в NP з використанням постійної складності запитів і логарифмічно багато випадкових біт). "Народна мудрість", що оточує теорему PCP (на хвилину ігноруючи важливість PCP для теорії наближення), …

9 lo.logic  pcp  polynomial-hierarchy 

Трикутники Делона в площині максимізують мінімальний кут у трикутнику. Чи те ж саме справедливо і для триангуляції точок Делоне на кулі? (тут «кут» - локальний кут у сусідстві навколо вершини на вершині). Натхненний цим питанням на Math.SE.

9 cg.comp-geom  delaunay-triangulation