Запитання з тегом «reference-request»

Наступне мені здається природним визначенням, і мені цікаво, чи його десь вивчали Розглянемо набір мов. Тоді називається " перевіряється інформація", коли є stX ⊂2{ 0 , 1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}К⊂ { 0 , 1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omegaХX\mathsf{X}L ∈ XL∈XL \in \mathsf{X} (i) Враховуючи , кожен префікс …

9 cc.complexity-theory  reference-request 

Заінтригуючи цікавим запитанням Кріса Пресі про елементарно-рекурсивні функції , я більше досліджував і не зміг знайти відповідь на це питання в Інтернеті. У Елементарні рекурсивні функції відповідають добре експоненційної ієрархії, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Це здається простим з визначення , що рішення , проблему можна вирішити (термін?) По нижчим …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

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

9 reference-request  lo.logic 

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

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

Припустимо, рамки складності спілкування, де у нас є два гравці A (воші) та B (ob) та R (eferee). A і B не спілкуються безпосередньо один з одним. У кожному раунді спілкування кожен з них надсилає повідомлення (mAmAm_A, mBmBm_B) до R. R обчислює дві функції fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) і fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)і надсилає їм результати. …

9 cc.complexity-theory  reference-request  communication-complexity 

Для програми машинного навчання моїй групі потрібно обчислити евклідову відстань до го найближчого сусіда в наборі для кожного (для між 5 і приблизно 100 , і кілька сотень до кількох мільйонів). В даний час ми використовуємо або грубу силу або очевидну з деревом kd на X , яке, коли d …

9 reference-request  cg.comp-geom  near-neighbors 

Скрізь, де я читав про найрідкішу проблему, він говорить лише про те, що проблема, як відомо, є NP- Hard. Де я можу знайти доказ цього? Яка відома проблема NP- твердих зводиться до проблеми найменшого розрізу? Я не зміг знайти жодного доказу в книзі Вазірані - Алгоритми наближення, в якій представлений …

9 cc.complexity-theory  reference-request  np-hardness 

У мене є сім'я проблем лінійного програмування: максимізувати відповідно до ,c'хc′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0. ЕлементиАAA, бbb, і ccc - це неотримані цілі числа, cccсуворо позитивний. (хxx також має бути цілісним, але я буду хвилюватися про це пізніше.) У моїй заяві часто буває, що коефіцієнти АAA …

9 ds.algorithms  reference-request  linear-programming  matrices 

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

9 ds.algorithms  reference-request  cache-oblivious 

Я вдячний за будь-які вказівки або терміни, які могли б почати мене в правильному напрямку. У нас є спрямований графік G = ( V, Е)G=(V,E)G=(V,E) і довжини лi jlijl_{ij} для кожного краю i jijijщо можна вважати позитивним. Існує спеціальний пусковий вузолсss і кінцевий вузол тtt. Для кожного краю i jijij, …

9 ds.algorithms  reference-request  graph-algorithms 

Оскільки п’ятниця, настав час для питання CW. Я шукаю евристику, яка широко використовує проблеми оптимізації. Щоб обмежити сферу застосування більш «теоретично-приємної» евристики, ось правила (деякі довільні, деякі ні) Це повинен бути чітко визначений метод без численних параметрів і з конкретним часом роботи (можливо, за ітерацією) З нею повинні бути пов'язані …

9 ds.algorithms  reference-request  optimization  heuristics 

Мені цікаво, чи вказана нижче проблема має ім’я чи якісь результати, пов’язані з цим. Дозволяє G=(V,w)G=(V,w)G = (V,w) бути зваженим графіком де w(u,v)w(u,v)w(u,v) позначає вагу краю між uuu і vvv, і для всіх u,v∈Vu,v∈Vu,v \in V, w(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]. Проблема полягає у пошуку підмножини вершин, яка максимально збільшує суму ваг …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

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

9 reference-request  sat  survey 

Мені важко було знайти алгоритм чи опублікував документи про триангуляцію багатокутника, що перетинається (також багатокутник із структурою отворів). Чи може хто-небудь із мене керувати, щоб знайти опублікований папір / алгоритм, будь ласка? PS: хтось належним чином позначить це питання, будь ласка, у мене недостатньо репутаційних балів, щоб це зробити.

9 ds.algorithms  reference-request  cg.comp-geom 

мені цікаво, чи є якісь підходи, що формулюють проблему маршрутизації транспортного засобу з Time-Windows ( VRPTW ) (як проблему рішення) як екземпляр SAT / SMT? (альтернатива: TSP) Наприклад: "Чи є дійсне рішення, яке відвідує всіх клієнтів протягом своїх вікон із n = 10 транспортними засобами?" Ця проблема рішення може бути …

9 ds.algorithms  reference-request  sat  reductions  tsp