이론 컴퓨터 과학

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

1
선형 유형의 프로그래밍 언어의 데이터 구조
선형 유형을 지원하는 프로그래밍 언어를 처리한다고 가정합니다 (선형 유형의 용어는 최대 한 번 사용할 수 있습니다). 이를 통해 언어에 문제가되는 방식으로 일부 계산 효과 (예 : 돌연변이, 피연산자의 유형 변경)를 처리 할 수 ​​있습니다. 유형 시스템은 "영원한 진리"에서만 작동합니다. 많은 데이터 구조는 귀납적 유형으로 특성화 될 수 있습니다 (목록과 트리는 …
1
건설적인 미터법 공간에 대한 고정 소수점 정리?
Banach의 고정 소수점 정리는 비어 있지 않은 완전한 미터법 공간 있으면 균일하게 수축하는 함수 는 고유 한 고정 소수점 갖습니다 . 그러나,이 정리의 증거는 선택의 공리가 필요합니다. 우리는 에서 반복을 시작하기 위해 임의의 요소 를 선택해야 합니다. Cauchy 시퀀스 입니다. F : → μ ( F ) ∈ F , …
3
Bob 's Sale (제품 합계를 최소화하기 위해 제약 조건이있는 페어 재정렬)
얼마 전에 Stack Overflow 에서이 질문을했습니다. 문제 : Bob의 판매 . 누군가가 여기에 질문을 게시 할 것을 제안했습니다. 누군가가 이미이 문제와 관련된 질문을했습니다. 주어진 카디널리티의 최소 무게 하위 포리스트 -내가 이해하는 한 내 문제에 도움이되지 않습니다. StackOverflow에 대한 최고 등급의 답변도 살펴볼 가치가 있습니다. 다음은 내 StackOverflow 질문의 축약 사본입니다. …
3
계산 복잡성의 클래스를 특징 짓는 이론
" FPH에 대한 응용 이론 "논문을 읽을 때 다음과 같은 구절이 발생할 수 있습니다. 계산 복잡성의 클래스를 특징 짓는 이론을 고려할 때 세 가지 다른 접근 방식이 있습니다. 하나는 이론 내에서 정의 될 수있는 기능은 특정 복잡성 클래스 내에서 "자동"입니다. 이러한 계정에서는 구문이 적절한 클래스에 머 무르도록 제한되어야합니다. 이로 인해 …
2
복잡성 하한 : 의사 결정 트리와 RAM의 차이
최근 의사 결정 트리 모델에서 문제의 복잡성에 대한 2 차 하한을 발견했으며이 결과가 랜덤 액세스 머신 모델에 부분적으로 일반화 될 수 있는지 궁금합니다 . 에 의해 부분적으로 , 나는 특정 시간 / 공간 트레이드 오프와 프로그램을 RAM으로 일반화를 의미한다. 예를 들어, 선형 시간 및 공간 RAM 프로그램으로 내 문제를 해결할 …
2
목록을 정렬하기위한 최소 조옮김 수
내 자체 정렬 알고리즘을 고안 할 때 필자가 비교할 수있는 최적의 벤치 마크를 찾고 있습니다. 요소 A 의 정렬되지 않은 순서 와 정렬 된 순서 B의 경우 A 에서 B 로의 최적 전치 수를 계산하는 효율적인 방법은 무엇 입니까? 조옮김은 목록에서 두 요소의 위치를 ​​전환하는 것으로 정의되므로 1 2 4 …
1
알고리즘 설계 및 복잡성-그 '길'에서 생각하는 방법?
내 질문은 일반적인 것입니다. 알고리즘 디자인 및 복잡성 측면에서 어떻게 생각을 시작합니까? 알고리즘 디자인에서 대학원 과정을 밟을 것입니다. 나는 일찍 등록했지만 그것을 따라갈 수 없어서 나중에 떨어 뜨렸다. 이 과정을 요구 사항으로 이수해야합니다. 이런 식으로 생각하는 '트릭'이 있습니까? 나는 이것이 상당히 조잡한 것이라는 것을 알고 있지만 때로는 새로운 관점은 주제에 …
3
NP의 슈퍼 마리오 흐름?
max-flow 문제의 고전적인 확장 중 하나는 "시간에 따른 max-flow"문제입니다. 두 개의 노드가 소스와 싱크로 구분되어 있으며 각 아크에는 용량 당 두 개의 매개 변수가 있습니다. 단위 시간과 지연. 또한 시간 지평 부여 됩니다. 목표는 시간 의해 소스에서 싱크까지 재료의 최대량을 얻는 시간에 따른 흐름을 계산하는 것입니다 . 최대 비용의 흐름은 …
3
평면 그래프에서 가장자리 채색의 복잡성
3 차 그래프의 3 가지 색상은 입니다. Four Color Theorem은 "모든 입방 평면 브리지리스 그래프는 3 에지 색상을 지정할 수 있습니다"와 같습니다.엔피엔피NP 입방 형 평면 그래프의 3- 에지 색상의 복잡성은 무엇입니까? 또한, 그 추측된다 -edge 색소가 N P가 최대치와 평면 그래프의 -hardΔΔ\Delta엔피엔피NP {4,5}.Δ ∈Δ∈\Delta \in 이 추측을 해결하기 위해 어떤 …
4
다음과 같은 직접 합 속성이있는 함수가있는 것으로 알려져 있습니까?
이 질문은 부울 회로의 회로 복잡성 프레임 워크 나 대수 복잡성 이론의 프레임 워크 또는 다른 많은 설정에서 질문 할 수 있습니다. 인수를 세면 기하 급수적으로 많은 게이트가 필요한 N 개의 입력에 부울 함수가 있음을 쉽게 알 수 있습니다 (물론 명백한 예는 없습니다). 총 입력 수가 MN이되도록 M 개의 개별 …
1
정점 라벨링의 "로컬"기능을 결합하기위한 그래프 분해
또는 를 찾고 싶다고 가정 해 봅시다. ∑엑스∏나는 j ∈ E에프( x나는, x제이)∑엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\sum_x \prod_{ij \in E} f(x_i,x_j)최대엑스∏나는 j ∈ E에프( x나는, x제이)최대엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\max_x \prod_{ij \in E} f(x_i,x_j) V의 모든 라벨링에 대해 max 또는 sum가 사용 되는 경우 그래프 G = \ {V, E \}에 대해 VVV모든 모서리 E 에서 곱이 취해 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.