«reference-request» 태그된 질문

부울 변수 의 집합 에 대해 일련의 절 를 고려할 때 모두 같지 않음 -SAT 문제 (NAE -SAT) 는 각 절에 최대 리터럴이 포함 되도록 변수의 실제 할당이 있는지 묻습니다. 각 절에는 하나 이상의 true 및 하나 이상의 false 리터럴이 포함됩니다.kkkkkkCCCXXXkkk PLANAR NAE -SAT 문제는 NAE -SAT가 와 의 입사 …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Thomas J. Schaefer 의 논문 "만족도 문제의 복잡성" 에서 저자는 This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

나는 생물 학자들에게 흥미롭고 유용한 목표를 가지고 계산 복잡성의 결과 를 이론적 생물학, 특히 진화 및 생태학 에 도입하기 위해 노력하고 있습니다. 내가 직면 한 가장 큰 어려움 중 하나는 하한에 대한 점근 적 최악의 분석의 유용성을 정당화하는 것입니다. 과학 관객에게 하한과 점근 적 최악의 분석을 정당화하는 기사 길이 참조가 …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

통일 알고리즘 과 가우시안 제거 간의 연결을 정확하게 설명하는 참조를 아는 사람이 있습니까? 특히 삼각 치환 과 LU 분해 의 관계에 관심이 있습니다. 웨인 스나이더와 장 갈리에 (Jean Snyder)와 장 갈리에 (Jean Gallier)는 그들의 논문, 고차원 통일 재검토 : 완전한 변형 세트 에서이 비유를 언급했다 .

22 reference-request  lo.logic 

비정규 LR 파싱으로 땜질 할 때 시간 에 모호하지 않은 문법을 정확하게 파싱 할 수 있는 파싱 방법 (무한한 크기의 테이블을 사용하여 다소 실용적이지 않음)을 생각해 보았습니다. 보다 나은:O ( n2)영형(엔2)O(n^2) 모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까? 나는 이것이 사실이라면 어딘가를 읽었을 것이라고 확신하지만 인터넷을 …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

텐서 벡터 및 높은 치수 및 행렬의 일반화 순위 텐서의도 행렬의 랭크를 일반화한다. 즉, 텐서의 랭크 계수의 최소 하나의 텐서로 합, 즉 . 벡터와 행렬은 각각 차수 1과 2의 텐서입니다.TTTTTTT 의 요소는 필드에서옵니다 . 경우 유한하고 Håstad은 입증 정도 3 텐서의 순위가 가장에 있는지 결정하는 것을 NP 완전하지만 때 유리수 …

22 ds.algorithms  reference-request  computability  tensor-rank 

이 질문을 이해하기 위해 어떤 논문을 읽어야하는지 궁금했습니다. 대수 기하학 또는 더 높은 상동 성과 같은 다른 수학 영역과의 예기치 않은 연결. 아마도 아직 수학 영역이 발달하지 않았을 수도 있습니다. 아마도 P 대 NP 문제를 다루기 위해 누군가 수학에 대한 완전히 새로운 방향을 개발할 것입니다. -부터 Fortnow 2002 이 질문의 …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

이라고 믿거 나 N L ≠ L 이라고 믿을만한 근거가 있는지 궁금합니다 .엔L = LNL=LNL=L엔L ≠ LNL≠LNL\neq L 것으로 알려져있다 . R L의 무작위 화 해제에 관한 문헌 은 R L = L 임을 확신합니다 . 누구나 N L ≠ L 임을 설득하는 기사 나 아이디어에 대해 알고 있습니까?엔L ⊂ …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

다음 결과에 대한 참조를 찾고 있습니다. 인수 분해 표현에 두 정수를 추가하는 것은 일반적인 이진 표현에서 두 정수를 인수 분해하는 것만 큼 어렵습니다. (이것은 내가 언젠가 궁금해했던 것이기 때문에 인쇄본에서 마침내 보았을 때 흥분되어 있기 때문에 그것이 확실하다고 확신합니다.) "인수 분해 된 표현에 두 개의 정수를 더하는 것"은 문제입니다. 와 …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

이 질문은 DFS를 사용하여 증강 경로를 찾을 때 Ford-Fulkerson 최대 흐름 알고리즘 의 시간 복잡성에 관한 것 입니다. DFS를 사용하면 최대 흐름에서 선형 반복 횟수가 필요할 수 있음을 보여주는 잘 알려진 예가 있습니다 (위의 Wikipedia 페이지 참조). 그러나 나는이 예제를 실제로 확신하지 못합니다. 표준 DFS 구현은 경로의 첫 번째 노드로 …

22 ds.algorithms  reference-request  max-flow 

근사 알고리즘을 설계 할 때 반올림 단계가 뒤 따르는 반정의 프로그램을 해결하는 경우가 있습니다. 이를 설명하기 위해 자주 사용되는 예는 Max-Cut입니다. (예 : Vijay Vazirani의 근사 알고리즘 참조) Max-Cut 문제를 넘어서서 더 복잡한 반올림 알고리즘과 분석에 사용되는 기술을 설명하기위한 훌륭한 교육 자료 나 설문 조사가 있습니까? SDP 솔루션의 벡터가 초구에 …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

효율적인 알고리즘이 존재하지 않음을 입증하는 존재 이론에도 불구하고 효율적인 알고리즘이 알려지지 않은 CS에 문제가 있습니까? 이러한 문제는 무엇입니까? 더 자세한 정보는 어디서 찾을 수 있습니까?

22 ds.algorithms  reference-request  terminology 

를 그래프로 하자 . 꼭짓점 x ∈ V의 경우 N ( x ) 을 G 에서 x 의 (공개) 이웃이되도록 정의 하십시오 . 즉, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in V엔(x)N(x)N(x)xxxGGG . 두 정점을 정의 유 , V 에서 G가 되도록쌍둥이경우 …

22 ds.algorithms  reference-request  graph-algorithms 

방금 질문에 대한 대답이 "예"라고 가정했지만 그럴만한 이유가 없습니다. 아마 최악의 경우 속도 저하 를 유발하는 가비지 수집기가 있다고 생각합니다 . 내가 인용 할 수있는 결정적인 기준이 있습니까? 필자의 경우 순전히 기능적인 데이터 구조를 작업 중이며 세부 사항이 중요한 경우 표준 ML을 사용합니다.O ( 1 )영형(1)O(1) 그리고 아마도이 질문은 Java에 …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

기본 참조는 무엇입니까? CS 및 S 러닝에 대한 SGT 및 해당 응용 프로그램에 대한 우수한 고급 설문 조사가 있습니까?

22 reference-request  spectral-graph-theory