«open-problem» 태그된 질문

Wikipedia에는 "컴퓨터 과학의 미해결 문제" 아래에 두 가지 문제 만 나열 되어 있습니다 . P = NP? 단방향 기능의 존재 이 목록에 추가해야 할 다른 주요 문제는 무엇입니까? 규칙 : 답변 당 하나의 문제 만 간단한 설명 및 관련 링크 제공

218 big-list  open-problem 

두 문자열의 셔플은 문자를 새 문자열로 산재하여 각 문자열의 문자를 순서대로 유지함으로써 형성됩니다. 예를 들어 및 MISSISSIPPI의 셔플입니다 . 두 개의 동일한 문자열이 섞인 문자열 사각형을 호출하겠습니다 . 예를 들어 and 는 셔플이므로 정사각형 이지만 문자열 은 정사각형이 아닙니다.MISIPPSSISIABCABDCDABCDABCDABCDDCBA 문자열이 정사각형인지 아니면 NP-hard인지 결정하는 빠른 알고리즘이 있습니까? 명백한 동적 프로그래밍 …

117 ds.algorithms  open-problem 

저학년에서 결정 론적 유한 상태 오토마타 (DFA)를 공부 한 후, 그것들이 매우 잘 이해되었다고 생각했습니다. 내 질문은 우리가 여전히 이해하지 못하는 것이 있는지 여부입니다. DFA의 일반화를 의미하는 것이 아니라 우리가 공부하는 원래 수정되지 않은 DFA는 저학년입니다. 이것은 모호한 질문이지만 아이디어를 얻길 바랍니다. DFA를 완전히 이해한다고 말하는 것이 공정한지 이해하고 싶습니다. …

59 soft-question  open-problem  dfa 

배경 몇 년 전, 제가 학부생이었을 때, 상각 된 분석에 관한 숙제를 받았습니다. 문제 중 하나를 해결할 수 없었습니다. 나는 comp.theory 에서 그것을 요구 했지만 만족스러운 결과가 나오지 않았다. 나는 TA가 자신이 증명할 수 없었던 것을 고집하고 그 증거를 잊어 버렸다고 말한 것을 기억한다. 오늘 나는 그 문제를 회상했다. 나는 …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

스레드에서 이론적 컴퓨터 과학에서 중요한 미해결 문제? Iddo Tzameret는 다음과 같이 훌륭한 의견을 제시했습니다. 우리는 와 같은 근본적인 문제로 간주되는 P≠NPP≠NP P\neq NP 주요 개방 문제와 해결된다면 기술적 혁신을 구성 할 것이지만 반드시 A와 같은 근본적인 것은 아닌 주요 개방 문제를 구별해야한다고 생각 합니다 AC0(6)AC0(6) AC^0(6) 회로 (즉, 게이트). 따라서 …

58 big-list  open-problem 

고려 서브 세트의 분리 된 가족을 {1, 2, ..., N}, .tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} 한다고 가정 (*) 모든 및 모든 및 에 대해 를 포함하는 가 있습니다 .i<j<ki<j<ki \lt j \lt kR∈FiR∈FiR \in {\cal F}_iT∈FkT∈FkT \in {\cal F}_kS∈FjS∈FjS \in {\cal F}_jR∩TR∩TR \cap T 기본적인 질문은 다음과 같습니다. t는 얼마나 …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

Rubik 's Cube 의 명백한 일반화를 고려하십시오 . 주어진 스크램블 큐브를 해결하는 최단 이동 시퀀스 를 계산하는 것은 NP-hard입니까 , 아니면 다항식 알고리즘이 있습니까?n×n×nn×n×nn\times n\times n [일부 관련 결과는 최근 블로그 게시물에 설명되어 있습니다.]

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

업데이트 : 모든 단색 사각형 직사각형이없는 4 색에 대한 장애물 세트 (즉, 채색 및 비 채색 격자 크기 사이의 NxM "배리어")가 알려져 있습니다. 누구나 5 가지 색상을 사용하려고 생각하십니까? ;) 다음 질문은 Ramsey Theory에서 발생합니다 . 고려 의 -coloring N -by- m의 격자 그래프. A 는 사각형의 모서리와 같은 색을 …

37 co.combinatorics  puzzles  open-problem  ramsey-theory  graph-colouring 

이 문제는 이 MO 질문 에서 영감을 얻었 으며 매우 흥미로 웠습니다. TCS에서 가장 오래된 공개 문제점은 무엇입니까? 분명히이 질문에는 약간의 설명이 필요합니다. 먼저 TCS 란 무엇입니까? 홀수 완벽한 숫자의 존재는 TCS가 아니라고 생각합니다. 나는 그 말을 힐베르트의 열 번째 문제는 TCS이다. 나는 "우리가 통치자와 나침반으로 X를 구성 할 수 …

36 soft-question  open-problem  ho.history-overview 

최근 Gil Kalai 와 Dick Lipton 은 수 이론과 리만 가설의 전문가 인 Peter Sarnak이 제안한 흥미로운 추측에 관한 멋진 기사를 썼습니다. 어림짐작. 뫼비우스 함수 라고 하자 . 가정하자 F : N → { - 1 , 1 } 이다 C 0 입력과 함수 K 의 이진 표현의 형태로 K …

35 cc.complexity-theory  randomness  open-problem  nt.number-theory 

문제는 다항식 입니다. 모든 계수가 기계어에 적합하다고 가정합니다. 즉, 단위 시간으로 조작 할 수 있습니다.(1x + b1) × ⋯ × ( a엔x + b엔)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) FFT를 트리 방식으로 적용하여 시간을 수행 할 수 있습니다 . 당신이 할 수 O는 ( N …

35 ds.algorithms  reference-request  open-problem  polynomials 

같은 몇 가지 일반적인 토론의 정신 이 하나, 나는에 의견을 수집 할 목적으로이 스레드를 개방하고있어 프로그래밍 언어에 대한 연구에서 오픈 도전과 뜨거운 주제는 무엇인지 . 이 논의가 미래의 프로그래밍 언어 연구에 관한 의견을 표명하기를 바랍니다. 이런 종류의 토론은 나 자신처럼 PL에 관심이있는 신입생 연구원과 이미 다소 참여한 사람들에게 도움이 될 …

32 pl.programming-languages  open-problem  research-practice 

QiCheng이 대답하지 않은 채로 주어진 주어진 NC 0 회로가 순열을 계산 하는지 결정 하는 문제의 특별한 경우에 대해 묻고 싶습니다 . 부울 회로는 NC라고 0 K의 각 출력 게이트 구문 이하인 경우에 따라 달라 회로 (K)의 입력 게이트. (우리는 출력 게이트라고 g이 구문에 따라 입력 게이트 g '로부터 직접 경로가있을 …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

다음은 NP-hard 문제입니까? 국제 초안에 대한 보드 구성이 주어지면 단일 법적 조치를 찾으십시오.n × nn×nn\times n 미국 체커 (일명 영어 draughts)에 해당하는 문제 는 다항식 시간으로 사소하게 해결 될 수 있습니다. 이 두 게임 사이에는 세 가지 주요 차이점이 있습니다.n × nn×nn\times n 첫 번째이자 가장 중요한 차이점은“비행 왕”규칙입니다. 체커에서, …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

A는 결정적 다음과 같은 문제에 대한 알려진 다항식 시간 알고리즘은 : 입력 : 자연수 (이진 인코딩)엔nn 출력 : 소수 .p > np>np > n (Leonard Adleman의 공개 문제 목록에 따르면이 문제는 1995 년에 공개되었습니다.)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes