«reference-request» 태그된 질문

감안 서브 세트 의 .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} 와 함께 세트가 있는지 확인하십시오 . (그렇다면 예를 찾으십시오. 그렇지 않다면 간단히 "아니오"라고 말하십시오)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j 이 문제에 대한 사소한 해결책은 모든 세트의 쌍을 거치고 시간 O (d) 의 쌍에 대한 포함을 확인 O(d)O(d)O(d)하므로 전체 런타임은 O(n2d)O(n2d)O(n^2 d) 입니다. 이 문제를 더 빨리 해결할 수 …

24 ds.algorithms  reference-request 

첫 SAT 솔버를 만들고 싶습니다. 저는 SAT 경쟁과 SAT 회의를 알고 있으며이 주제에 관한 논문이 너무 많습니다. 나는 초보자, 압도적 인 초보자입니다. 어디서부터 시작해야합니까? 결국 저는 최첨단을 추진하고 싶습니다. 시작하는 방법에 대한 전문가의 조언이 필요하므로 비 필수 항목에 너무 많은 시간을 낭비하지 않습니다. 많은 감사합니다.

24 ds.algorithms  reference-request  lo.logic  sat 

재구성 추측에 따르면 (최소한 3 개의 정점이있는) 그래프는 정점 삭제 된 하위 그래프에 의해 고유하게 결정됩니다. 이 추측은 50 년이되었습니다. 관련 문헌을 검색 한 결과 다음과 같은 클래스의 그래프가 재구성 가능한 것으로 알려져 있습니다. 나무 연결이 끊어진 그래프, 보수가 끊어진 그래프 정규 그래프 최대 외부 평면 그래프 최대 평면 그래프 …

24 reference-request  graph-theory  co.combinatorics  treewidth 

허용되는 단어 (알파벳순으로 정렬 된)와 단어로 구성된 거대한 데이터베이스가 제공되면 Levenshtein 거리 측면에서 주어진 단어와 가장 가까운 데이터베이스에서 단어를 찾으십시오. 물론 순진한 접근 방식은 주어진 단어와 사전의 모든 단어 사이의 레 벤슈 테인 거리를 간단히 계산하는 것입니다 (실제로 거리를 계산하기 전에 데이터베이스에서 이진 검색을 수행 할 수 있음). 이 문제에 …

24 ds.algorithms  reference-request  string-matching  string-search 

상수 , 입력 그래프 G가 주어지면 그 트리 폭 이 ≤ k 인지 여부 를 선형 시간으로 결정할 수 있습니다 . 그러나 k 와 G 가 모두 입력으로 주어지면 문제는 NP-hard입니다. ( 출처 ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG 그러나 입력 그래프가 planar 이면 복잡성에 대해 알려진 것이 훨씬 적습니다. 이 문제는 …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

복잡성 이론은 NP- 완전성과 같은 개념을 통해 상대적으로 효율적인 솔루션이있는 계산 문제와 다루기 어려운 문제를 구별합니다. "미세한"복잡성은이 정 성적 구별을 문제 해결에 필요한 정확한 시간에 대한 정량적 가이드로 세분화하는 것을 목표로합니다. 자세한 내용은 여기를 참조 하십시오 : http://simons.berkeley.edu/programs/complexity2015 다음은 몇 가지 중요한 가설입니다. ETH : 333 - SATSATSAT 는 δ …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

현재 비트 코인에는 SHA256을 사용하는 작업 증명 (PoW) 시스템이 있습니다. 다른 해시 함수는 작업 증명 시스템 사용 그래프, 부분 해시 함수 반전을 사용합니다. 매듭 인식과 같은 매듭 이론에서 의사 결정 문제를 사용하여 작업 증명 기능으로 만들 수 있습니까? 또한 전에 이것을 한 사람이 있습니까? 또한이 작업 증명 기능을 사용할 때 …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

필자는 그래프의 Cheeger 상수를 결정하는 것이 NPNP\mathsf{NP} -hard 라는 수많은 기사를 읽었습니다 . 그것은 민속 정리 인 것 같지만이 진술에 대한 인용이나 증거를 찾지 못했습니다. 누구에게 크레딧을 주어야합니까? 오래된 논문 (Isoperimetric Numbers of Graphs, J. Comb. Theory B, 1989)에서 Mohar는이 주장이 "다수의 모서리를 가진 그래프"에 대해서만 증명합니다.

23 reference-request  graph-theory  spectral-graph-theory 

고정 된 유한 알파벳 , 공식 언어 이상 입니다 일반 이있는 경우 결정적 유한 자동 장치 이상 (DFA) \ 시그마 정확히 받아 L가 .L ΣΣΣ\Sigma엘LLΣΣ\SigmaLΣΣ\Sigma엘LL 나는 단어 길이에 따라 다항식으로 만 자라는 크기의 오토마타 패밀리에 의해 인식 될 수 있다는 의미에서 "거의"규칙적인 언어에 관심이있다. 공식적으로, 공식 언어 은 모든 단어 …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

나는 현재 EXPSPACE- 완전한 문제 (주로 감소에 대한 영감을 찾기 위해)를 찾으려고 노력하고 있으며 소수의 결과가 나오는 것에 놀랐습니다. 지금까지 나는 이것을 찾았고 목록을 확장하는 데 문제가 있습니다. 지수가있는 정규 표현식의 보편성 (또는 다른 속성). 벡터 추가 시스템과 관련된 문제 관찰 할 수없는 게임 (예 : 이 블로그 참조 ) …

23 cc.complexity-theory  reference-request  big-list 

여러분 중 일부는 이 질문을 따르고 있었을 것인데, 이는 연구 수준이 아니기 때문에 폐쇄되었습니다. 그래서 나는 연구 수준에있는 질문의 일부를 추출하고 있습니다. 정렬 감소 또는 EXPTIME 완료 문제와 같은 "간단한"기술 외에도 문제의 시간 복잡성에 대한 하한을 증명하기 위해 어떤 기술이 사용 되었습니까? 특히: 지난 10 년간 개발 된 "최첨단"기술은 무엇입니까? …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

우리가 던지고있다 가정 에 공을 빈 (bin), . 하자 빈에서 끝나는 공의 숫자 , 무거운 빈, 수 X_ \ 분 수 가벼운 빈, 그리고 X는 _ {\ mathrm {초 - 최대}} 두 번째 무거운 빈합니다. 대략 X_i-X_j \ sim N (0,2m / n) 이므로 | X_i-X_j | = \ 쎄타 …

23 reference-request  pr.probability 

누구나 계산 문제 및 / 또는 #P 인 문제에 대한 우수하고 최근의 설문 조사를 제안 할 수 있습니까?

23 cc.complexity-theory  reference-request  counting-complexity 

나는 (2 차원) 사각형의 동일한 사본을 겹치지 않고 볼록한 (2 차원) 다각형으로 포장하는 문제에 관심이 있습니다. 내 문제에서 사각형을 회전시킬 수 없으며 축과 평행하게 있다고 가정 할 수 있습니다. 직사각형의 치수와 다각형의 꼭짓점이 주어졌으며 다각형에 동일한 직사각형 사본을 몇 개나 포장 할 수 있는지 물었습니다. 사각형을 회전시킬 수 있다면이 문제는 …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

그래프 동형과 숨겨진 하위 그룹 문제의 관계를 이해하려고합니다. 이것에 대한 좋은 참조가 있습니까?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism