«open-problem» 태그된 질문

+ 1 행렬 A의 부호 랭크 -1 항목은 같은 부호 패턴 (갖는 행렬 B의 (레알 이상) 최소 랭크 인, 즉 I J B의 난의 J > 0 모든 I , j ). 이 개념은 의사 소통의 복잡성과 학습 이론에서 중요합니다.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j 내 질문은 : 행렬의 부호 순위를 인수 내로 근사하는 알려진 …

25 lg.learning  open-problem  communication-complexity  matrices 

상수 , 입력 그래프 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 

게다가 (결정적) 통신 복잡도 의 관계에서의 R , 필요한 통신의 양에 대한 또 다른 측정은 염기성 인 프로토콜 파티션 번호 P는 P ( R ) . 이 두 측정 값 사이의 관계는 상수 요소까지 알려져 있습니다. Kushilevitz와 Nisan의 논문 (1997)은c c ( R )기음기음(아르 자형)cc(R)아르 자형아르 자형R p p ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

평면에 여러 개의 분리 된 간단한 다각형이 있고 모든 다각형 외부에 두 개의 점 와 가 있다고 가정 합니다. 유클리드 최단 경로 문제는 다각형의 내부와 교차하지 않는 에서 까지 유클리드 최단 경로를 계산하는 것 입니다. 구체적으로, 및 의 좌표와 모든 다각형 정점의 좌표는 정수 라고 가정합니다 .ssstttssstttsssttt 이 문제를 다항식 …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

1999 년 Petra Schuurman과 Gerhard J. Woeginger는 "기계 스케줄링을위한 다항식 시간 근사 알고리즘 : 10 가지 개방 된 문제" 라는 논문을 발표했습니다 . 그 이후로, 내가 아는 한, 매우 동일한 문제 목록에 관한 리뷰는 나타나지 않았습니다. 따라서 우리 각자가 열 가지 미해결 문제 중 일부에 대해 요약하여 여기에 기여할 수 …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

Greenlaw, Hoover 및 Ruzzo (PS)의 "P에 대한 완전한 문제 요약" (PDF) 에는 NC에 알려지지 않았거나 P- 완전하지 않은 것으로 알려진 P의 문제 목록이 있습니다. . (이 목록 은 Karp and Ramachandran의 우수 조사 에서 공개 된 모든 문제를 포함합니다 .) 공개 된 문제 목록은 89 페이지에서 시작합니다. 이 목록에서 몇 …

20 cc.complexity-theory  open-problem  circuit-complexity 

n x n 행렬이 있다고 가정합니다. 상위 삼각 행렬을 얻도록 행과 열의 순서를 바꿀 수 있습니까? 이 질문은이 문제에 의해 유발됩니다 : 긍정적 인 위상 순서 원래의 결정 문제는 이것만큼 어렵 기 때문에 NP- 완전성 결과로도 해결할 수 있습니다. 편집 : 라즐로 Vegh와 안드라스 프랭크는 해당 문제에 대한 내 관심은 …

20 ds.algorithms  np-hardness  open-problem  matrices 

DFA의 상태를 단일 상태로 보내는 문자열이 있으면 DFA에 동기화 단어 가 있습니다. AN Trahtman (Discrete Mathematics and Theorytical Computer Science vol. 9 : 2, 2007, pp.3-10)의 '비 주기적 오토마타에 대한 Cerny 추측'에서 그는 다음과 같이 썼다. Cerny는 1964 년에 모든 n- 상태 동기화 가능 DFA는 최대 길이 의 동기화 단어를 …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

프로그래밍 언어, 특히 프로그램 분석 및 컴파일에서 발생하는 주요 개방형 계산 복잡성 문제는 무엇입니까? 나는 "힌들리 밀너 형식 추론의 시간 복잡성"또는 "0CFA의 시간 복잡성"(둘 다 문제가 해결되었지만)의 문제를 찾고있다.

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

변수 의 개수 이 고정 된 경우 정수 선형 프로그래밍을 다항식 시간으로 해결할 수 있음을 읽었습니다 ( 예 : n ∈ O ( 1 )) . 주어진 크기 N의 입력에 대해 변수의 수가 대수적으로 증가하는 경우 (즉, n ∈ O ( log 2 ( N ) )) , 문제는 여전히 …

16 cc.complexity-theory  np  open-problem 

배경 함수 는 깊이 d의 회로를 학습하기 위해 무작위로 선택된 O ( 2 l o g ( n ) O ( d ) ) 를 요구하는 고전적인 알고리즘을 사용하여 준 다항식 시간에서 PAC를 학습 할 수있다 [1]. 더 존재하지 않는 경우 (2) N 개의 O ( 1 ) 인수 분해 …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

나는 성공적으로 해결 된 Collatz 추측 에 대한 "가장 가까운"(그리고 "가장 복잡한") 문제에 관심 이있다. "콜라 츠 (Collatz)와 같은"문제의 클래스는 결정 불가능하다는 것이 입증되었다. 그러나 Hofstadter의 MIU 게임 과 같이 모호하게 유사한 문제 (해결되었지만 장난감 문제의 더 많은 것임)는 실제로 결정 가능하거나 해결되었습니다. 관련 질문 Collatz 추측 및 문법 / …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

다음 과 같은 언어 고려하십시오 LLL. L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) 그래서 L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) 즉, 빠른 시스템 계산 시간에 와 가장 공간 효율적인 시스템 계산 공간 사용시 .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) M의 공간 효율성 또는 M '의 시간 효율성에 대해 무엇을 말할 수 있습니까? 또는 더 정확하게, 경우 모든 시스템이 …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

희소 무향 그래프 의 둘레 를 찾는 방법이 궁금합니다 . 드문 드문해서 나는 합니다. 최적이라는 것은 가장 복잡한 시간을 의미합니다.| 이자형| =O( | V| )|E|=O(|V|)|E|=O(|V|) 무 방향 그래프에 대한 Tarjan의 알고리즘 에 대한 일부 수정에 대해 생각 했지만 좋은 결과를 찾지 못했습니다. 실제로 에서 2- 연결된 구성 요소를 찾을 수 …

14 ds.algorithms  graph-theory  open-problem 

목표 : 차수 12의 투영면 이 없다는 추측을 해결한다 . 1989 년, Cray에서 컴퓨터 검색을 사용하여 Lam은 10 차 투영 평면이 존재하지 않음을 증명 했습니다. 이제 매직 큐브에 대한 하나님의 번호가 결정되었습니다 대규모 브 루트 포스 검색 (플러스 대칭의 영리한 수학)의 몇 주 후,이 오랜 개방 문제가 이동할 수 있습니다 …

14 open-problem