이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

2
해밀턴 사이클과 해밀턴 경로 문제의 복잡도가 다른 그래프 클래스
그래프 클래스와 그 포함에 관한 정보 시스템을 검색하는 동안 해밀턴 사이클 문제가 NP- 완전한 반면 해밀턴 경로 문제의 복잡성은 알려지지 않은 여러 그래프 클래스를 발견했습니다 . 이러한 클래스 중 일부는 이분 최대 최대 3 차 그래프, 최대 3 차 그리드 그래프 및 2 개 연결된 입방 평면 그래프입니다. 또한이 현상은 …
1
이론적 컴퓨터 과학 경력
저는 현재 고등학생이며 이론적 인 컴퓨터 과학 및 응용 수학에 관심이 있습니다. 나는 선형 대수와 미적분학, 구체적인 수학을 스스로 가르쳤다. 더 나은 알고리즘을 작성하려면 새로운 구조에 대해 배우고 그 구조를 사용하여 더 복잡하고 더 빠른 알고리즘을 형성 할 수 있기 때문에 가능한 한 많은 수의 수학을 알아야한다는 순진한 개념이 있습니다. …
1
대한 증거는 무엇입니까
Josh Grochow의 제안에 따라 이전 질문의 의견을 새로운 질문으로 변환합니다. 대한 증거는 무엇입니까 ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 여기서 은 "yes"인스턴스에 고유 한 허용 경로가 있고 "no"인스턴스에 허용 경로가없는 다항식 비 결정적 튜링 머신으로 인식 할 수있는 언어 클래스입니다.UPUP\mathsf{UP} 분명히 인데 왜 봉쇄가 엄격하다고 생각합니까? 내가 찾을 수있는 증거는 오라클 분리입니다 : …
2
그래프 동형 문제
Graph isomorphism 문제에 대한 문헌 검토를하고 있습니다. 제가 읽고있는 대부분의 논문은 EM Luks와 Laszlo Babai가 작성했습니다. 이 논문은 그룹 이론과 복잡성 이론에 대한 높은 수준의 지식을 사용합니다. 이 분야를 처음 접했을 때 많은 것들이 명확하지 않습니다. 이 논문에 제시된 아이디어와 기법을 배울 수있는 방법을 제안 해 주시면 다른 아이디어를 생각해 …
3
정확히 25 % 확률로 오류가 발생하는 무작위 알고리즘은 어떤 클래스입니까?
E (xact) BPP를 호출 할 수있는 다음과 같은 BPP 변형을 고려한다고 가정합니다. 다항식 시간 무작위 TG가 있으면 언어의 모든 단어를 정확히 3/4 확률로 받아들이고 모든 단어는 정확히 1/4 확률로 언어. 분명히 EBPP는 BPP에 포함되어 있지만 동일합니까? 이것이 연구 되었습니까? 유사하게 정의 가능한 ERP는 어떻습니까? 자극. 나의 주요 동기는 Faenza et …
2
로컬로 제한된 트리 폭 그래프의 일반화
다음 그래프 클래스는 문헌에 알려져 있습니까? 그래프의 클래스는 양의 정수에 의해 매개 변수화 및 각각 그래프 포함 예컨대 각 정점에 대한 V에서 V \ 의 서브 그래프 G 많아야 거리에있는 모든 정점에 의한 D 에서 V 에서 G 최대 t의 treewidth를 갖습니다 .디디d티티tG = ( V, E)지=(V,이자형)G=(V,E)v ∈ VV∈Vv\in V지지G디디dVVv지지G티티t …
1
하위 유형의 범주 적 의미는 무엇입니까?
Curry-Howard-Lambek에서 시작하여 유형 이론, 논리 및 범주가 훌륭했습니다. 유형 이론에 하위 유형을 (강제로) 추가 할 때 어떤 범주 적 의미론이 있는지 궁금합니다. 이것이 전혀 탐구되지 않은 것처럼 보입니다. 일반적으로 유형 이론에 강제 하위 유형을 추가해도 강력한 정규화와 같은 메타 이론적 특성이 손상되지 않으므로 범주 의미론이 실제로 관심의 대상이되어야합니다.
5
경제학자들이 계산 복잡성에 관심을 가져야하는 이유
경제학자들이 인쇄에서 복잡성 이론의 관련성을 확신 시키려고 할 때 인용에 대한 표준 참조가 있습니까? 저는 Noam Nisan의 블로그 게시물 , Tim Roughgarden의 설문 조사 및 Scott Aaronson의 에세이 11 장에 익숙 합니다. 이 게시물은 컴퓨터 과학자가 액세스 할 수 있지만 경제학자의 언어를 사용하지 않으며 일반적으로 읽는 장소에는 게시되지 않습니다. 경제학자를 …
1
부울 함수의 푸리에 변환 샘플링의 복잡성
양자 컴퓨터가 할 수있는 한 가지는 (아마도 BPP + 로그 깊이 양자 회로로도 가능) P에서 부울 값 함수 의 푸리에 변환을 근사 샘플링하는 것입니다.± 1±1\pm 1 푸리에 변환 샘플링에 대해 이야기 할 때 여기와 아래에서 . (필요한 경우 대략 정규화 됨).| 에프^( x ) |2|에프^(엑스)|2|\hat f(x)|^2 P의 근사 샘플링 부울 …
1
이 가장자리 채색 문제의 복잡성은 무엇입니까?
최근에 나는 다음과 같은 변색의 변형을 만났다. 무 방향 그래프가 연결된 경우 최대 정점 수를 사용하는 가장자리의 색상을 찾고 모든 정점에 대한 제약 조건을 만족시킵니다. VVv가장자리에 VVv 최대 두 가지 색상을 사용하십시오. 내 첫 번째 추측은 문제가 NP-hard라는 것입니다. 그래프 색상 문제에 대한 고전적인 NP-hard 증거는 대부분 3SAT에서 감소한 것입니다. …
3
효율적인 정확성과 효율성 증명없이 건설적으로 효율적인 알고리즘
효율적인 알고리즘 (다항식 시간) 의 자연스러운 예를 찾고 있습니다. 정확성과 효율성은 건설적으로 입증 될 수 있지만 (예 : 또는 )피RPRAPRAHㅏHAHA 효율적인 개념만을 사용한 증거는 알려져 있지 않습니다 (즉, 우리는 또는 에서 정확성과 효율성을 입증하는 방법을 모릅니다 ).S (1) (2)티V0TV0TV^0에스12S21S^1_2 인공적인 예를 직접 만들 수 있습니다. 그러나 나는 흥미로운 자연 사례, …
3
코로나 드와 펑터 사이에 공-응용 펑터와 같은 개념이 있습니까?
모든 모나드는 또한 적용되는 functor이고 모든 적용되는 functor는 functor입니다. 또한, 모든 코모 나는 펀터입니다. 코 모나드와 펑터 사이에 유사한 개념이 있습니까? 공동 적용 펑터와 같은 것이 있으며 그 속성은 무엇입니까? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? …
1
점근 적으로,
[ 1 .. n ] 의 순열 σσ\sigma 를 고려하십시오 . 반전은 i &lt; j 및 σ ( i ) &gt; σ ( j ) 와 같은 인덱스 쌍 ( i , j ) 으로 정의됩니다 .[ 1 .. n ][1..엔][1..n]( i , j )(나는,제이)(i, j)나는 &lt; j나는&lt;제이i < jσ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.