이론 컴퓨터 과학

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

2
다양한 프로그래밍 언어 기능의 의미에 대한 조사가 있습니까?
다양한 프로그래밍 언어 기능의 의미에 대한 설문 조사 (서류, 서적, 튜토리얼, 링크 등)가 있습니까? 나는 원래 http://www.digitalmars.com/d/2.0/comparison.html 에서 D의 기능에 압도되었습니다 . stackoverflow에 대해 비슷한 질문을 하고이 두 사이트가 다른 관점을 가지고 있음을 이해 했지만 여기에서 얻을 수있는 것을보고 싶습니다 . 답장을 보내 주셔서 감사합니다! 메타에 대한 그의 제안에 대해 …
1
번호 분할의 특별한 경우의 NP 경도
다음 문제를 고려하십시오. 자 세트 양수 있는 상수, 우리로 세트 분할 할 크기의 서브 세트 되도록 각각의 합계의 생성물 부분 집합이 최대화됩니다.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk 이 문제는 각 파티션의 수에 제한이 있다는 점을 제외하고 잘 알려진 way 숫자 분할 과 매우 유사 합니다. 들면 …
2
낮은 치수의 유클리드 제곱 최대 컷
하자 면의 일 점 R 2 . 정점으로 그리고 에지 가중치 포인트와 전체 그래프를 고려 ‖ X I - X J ‖ 2 . 항상 최소한 2 의 체중 감량을 찾을 수 있습니까엑스1, … , x엔x1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^2총 무게의 3 ? 그렇지 않은 경우2를대체해야하는 상수2323\frac 2 3 ?2323\frac …
2
병목 최단 경로에 대한 빠른 알고리즘 참조
병목 최단 경로에 대한 좋은 참조를 찾고 있습니다. 특히 가장자리 가중치가있는 무 방향 그래프에서 꼭짓점 s와 t가 주어지면 s에서 t까지의 최단 경로를 원합니다. 여기서 경로 길이는 해당 경로의 최대 가장자리입니다. 이것은 중간 가장자리 무게를 찾아서 조심스럽게 가장자리 절반을 재귀 적으로 삭제함으로써 O (n + m) 시간 안에 해결 될 수 …
6
수학 작문을위한 증거 조교
교정 보조를 사용하여 수학 교정을 작성하고 싶습니다. 모든 것은 1 차 논리 (평등)와 자연스러운 추론을 사용하여 작성됩니다. 배경은 이론 (ZF)으로 설정됩니다. 예를 들어 다음과 같은 증거를 어떻게 작성할 수 있습니까? 공리 :∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔ z∈ y) )∀x∀y(x=y↔∀z(z∈x↔z∈y))\forall x\forall y(x=y\leftrightarrow\forall z(z\in x\leftrightarrow …
2
최고의 외계인 커뮤니케이션 프로토콜?
성간 디지털 통신 채널을 사용하여 메시지를주고받을 수있는 외계 문명을 발견했다고 가정 해 봅시다. (변조 된 전파, 레이저 펄스, 다양한 궤도에 별을 재배치하는 방법 등을 사용한다고합시다.) 우리가 그들과 접촉하기로 결정했다고 가정 해 봅시다. 대화를 시작하면 통신 프로토콜과 언어를 어떻게 설정해야합니까? 논리적 인 아이디어를 표현하는 기본 어휘와 방법에 동의하기 위해 어떤 방법론을 …
3
사본의 NP 문제
이 질문은 나무의 NP-hard 문제 와 유사합니다 . cographs에서 다루기 쉬운 많은 NP-complete 문제가 있습니다 . 사본에 제한을 두었을 때 NP-complete로 남아있는 알려진 문제가 있습니까? 더 정확하게 말하면 입력 이 방향이 지정되지 않은 가중치가없는 cograph로만 구성된 예에 관심이 있습니다 . 두 가지 언급 : 가중 사본의 경우 이러한 문제가 언급되어 …
1
CNF 공식의 무작위성 측정
CNF 공식은 무작위 대 구조의 두 가지 클래스로 나눌 수 있다는 것이 널리 알려져 있습니다. 랜덤 CNF 공식과 반대로 구조화 된 CNF 공식은 우연히 일어날 가능성이없는 패턴을 보여주는 일종의 순서를 나타냅니다. 그러나 어느 정도의 무작위성을 나타내는 구조화 된 수식 (예 : 특정 특정 절 그룹은 다른 것보다 훨씬 덜 구조화 …
1
akinator 또는 20q 뒤에 어떤 알고리즘이 있습니까?
제목 자체를 말합니다. 여기에 Akinator 와 20Q가 있습니다. 이 게임의 원칙은 사용자가 선택한 일부 엔티티와 관련된 여러 가지 질문을 사용자에게 요청하는 것입니다. 그런 다음이 엔티티가 무엇인지 찾으십시오. 알고리즘의 핵심은 모든 질문에 올바르게 대답하지 못하는 사용자를 다루면서 각 라운드에서 "가장 유용한 질문"을 찾는 것입니다. "가장 유용한 질문"은 가장 많은 정보를 제공하는 …
2
계산 기하학 또는 그래프 이론에서 어떤 문제가
이는 다항식 시간 경도 결과 에 대한 Robin Kothari의 이전 게시물에 대한 후속 질문으로 작성되었습니다 . 특히, 나는 대략 하한 을 갖는 것으로 여겨지는 문제에 대한 경도 증거를 보고자합니다. 그리고 단어 크기 (예 : 3SUM과 같은)를 가지고 약간의 서브 큐빅 개선을 허용한다고합니다. Barab et al. (Springer를 통해 )). 의사 결정 …
2
카디널리티 술어와 함께 경계 cliquewidth의 그래프에서 MSOL 최적화 문제
CMSOL은 Monadic Second Order Logic을 계산합니다. 즉, 도메인이 꼭짓점과 가장자리의 집합 인 그래프의 논리입니다. 꼭짓점-정점 인접성 및 가장자리-정점 발생률에 대한 술어가 있으며 가장자리, 꼭짓점, 가장자리 세트 및 꼭짓점에 대한 수량 화가 있습니다. 세트하고있다 술어 하는 크기 여부 표현 이고 n은 모듈로 P .SnpCardn,p(S)Cardn,p(S)\textrm{Card}_{n,p}(S)SSSnnnppp Courcelle 유명한 정리 된 경우한다고 ΠΠ\Pi 그래프의 …
2
두 개의 대기열을 사용하여 목록 반전
이 질문은 스택 작업 당 상각 된 O ( 1 ) 시간 에 두 개의 대기열을 사용하여 스택을 시뮬레이션 할 수 있는지 여부 에 대한 기존 질문에서 영감을 얻었습니다 . 답을 알 수없는 것 같습니다. 다음은 모든 PUSH 작업이 먼저 수행되고 모든 POP 작업이 수행되는 특수한 경우에 해당하는보다 구체적인 질문입니다. …
1
완벽한 매칭의 모노톤 회로 복잡성에서 하한 개선?
라즈 보 로프는 이분 그래프에 대한 완벽한 매칭 함수를 계산하는 모든 모노톤 회로가 최소한 엔Ω ( 로그n )엔Ω(로그⁡엔)n^{\Omega(\log n)}게이트 (그는 "논리적 영구"라고 불렀습니다). 그 이후 같은 문제에 대한 더 나은 하한이 입증 되었습니까? (말하다2엔ϵ2엔ϵ2^{n^\epsilon}?) 내가 기억하는 한이 문제는 1990 년대 중반에 열려있었습니다. clique 함수에는 지수 크기의 모노톤 회로 등이 필요하다는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.