이론 컴퓨터 과학

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

2
명백한 코드 실행에 완전히 동종 암호화를 사용할 수 있습니까?
이 답변 을 얼마 전에 읽은 후에 완전히 동종 암호화에 관심을 보였습니다. Gentry의 논문 소개를 읽은 후, 그의 세 번째 단락에 정의 된대로 암호화 체계가 명백한 코드 실행에 사용될 수 있는지 궁금해지기 시작했습니다. 완전히 동질적인 암호화 체계에서 우리는 일반적으로 일부 데이터를 암호화하고 데이터에 대해 특정 기능이 계산되는 적대적인 환경으로 보내며, …
1
다각형 장애물이있는 평면에서 최단 경로 계산의 복잡성
평면에 여러 개의 분리 된 간단한 다각형이 있고 모든 다각형 외부에 두 개의 점 와 가 있다고 가정 합니다. 유클리드 최단 경로 문제는 다각형의 내부와 교차하지 않는 에서 까지 유클리드 최단 경로를 계산하는 것 입니다. 구체적으로, 및 의 좌표와 모든 다각형 정점의 좌표는 정수 라고 가정합니다 .ssstttssstttsssttt 이 문제를 다항식 …
6
커리큘럼 : 보안의 논리 / 형식적 방법
현재 저는 보안의 논리적 인 방법에 관한 작은 코스 (마스터 레벨에서 2 시간의 4 시간 강의)를 가르치지 만, 보안의 공식적인 방법 이라는 제목 은 더 적합 할 수 있습니다. 다음 주제에 대해 간략하게 설명합니다 (관련된 논리적 방법 사용). 디지털 권한 관리 및 정책 시행 (일반 형식화, 모달 논리, 자동 제어를 …
1
이진 곱셈과 패리티 컨볼 루션
이 질문은 이진수의 곱셈과 다항식 곱셈 mod 2의 관계에 관한 것입니다. 질문을 구체적으로 만들기 위해 Knuth vol의 질문에 대한 더 나은 해결책이 있는지 이상적으로 알고 싶습니다. 2 권 3 호 계수가 컴퓨터 단어로 묶여 있으면 이진 컴퓨터에서 일반적인 산술 연산을 사용하여 다항식 모듈로 2의 곱셈을 촉진 할 수 있습니까?” Knuth는 …
4
사회적 선택, 화살표 정리 및 공개 문제?
지난 몇 달 동안 나는 사회적 선택, 화살표 정리 및 관련 결과에 대해 강의하기 시작했습니다. 중요한 결과에 대해 읽은 후 부분 순서 환경 설정에서 발생하는 일에 대해 스스로에게 물었습니다 .Pini et al. : 부분적으로 정렬 된 환경 설정 집계 : 불가능 및 가능성 결과 . 그런 다음 허용 가능한 사회적 …
2
가비지 수집 프로그래밍 언어로 지정된 최악의 데이터 구조의 실행 시간을 분석 할 때 GC 비용을 무시할 수 있습니까?
방금 질문에 대한 대답이 "예"라고 가정했지만 그럴만한 이유가 없습니다. 아마 최악의 경우 속도 저하 를 유발하는 가비지 수집기가 있다고 생각합니다 . 내가 인용 할 수있는 결정적인 기준이 있습니까? 필자의 경우 순전히 기능적인 데이터 구조를 작업 중이며 세부 사항이 중요한 경우 표준 ML을 사용합니다.O ( 1 )영형(1)O(1) 그리고 아마도이 질문은 Java에 …
2
Rubik 's Cube를 해결하는 데 필요한 움직임 수가 로컬 최대 값입니까?
Peter Shor 는 Rubiks 큐브 를 풀기의 복잡성에 대한 이전 질문 에 대답하려는 시도와 관련하여 흥미로운 점을 제기 했습니다 . 나는 그것이 NP에 포함되어야한다는 것을 보여주기 위해 다소 순진한 시도를 게시했습니다. Peter가 지적했듯이 일부 경우에는 접근 방식이 실패합니다. 이러한 인스턴스의 잠재적 인 사례 중 하나는 경로 길이에 로컬 최대 값이있는 …
2
3-SUM의 곱셈 버전
3-MUL이라고하는 다음 문제의 시간 복잡성에 대해 알려진 것은 무엇입니까? 정수 로 설정된 가 주어지면, 와 같은 요소 있습니까?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c 이 문제는 3-SUM 문제와 유사 (또는 동등하게 )가 되도록 세 가지 요소가 있는지 묻습니다 . 3-SUM은 대략 2 차 시간 ( 을 요구하도록 추측된다 . 3-MUL에 대해서도 비슷한 추측이 있습니까? 특히 …
2
개방 된 문제를 해결하기 위해“실험적 복잡성 이론”이 사용되고 있습니까?
Scott Aaronson 은 흥미로운 도전을 제안 했습니다 . 물리학 자들이 큰 입자 충돌체를 사용하는 것과 같은 방식으로 CS 문제를 해결하기 위해 오늘날 슈퍼 컴퓨터를 사용할 수 있습니까? 보다 구체적으로, 나의 제안은 다음과 같은 질문에 답하기위한 전 세계 시도에 전 세계 컴퓨팅 능력을 전념하는 것입니다. 그는 이것이 ~ 부동 소수점 연산을 …
1
비 결정적 시간 계층에 자연적인 분리가 있습니까?
최초의 비결정론 적 시간 계층 정리는 Cook에 기인한다 (링크는 비결정론 적 시간 복잡성을위한 계층 , S. Cook , JCSS 7 343-353, 1973). 정리는 임의의 실수 r1r1r_1 과 r2r2r_2 에 대해 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 이면 NTIME ( nr1nr1n^{r_1} )은 NTIME ( nr2nr2n^{r_2} ) 에 엄격하게 포함된다고 명시 합니다. 증명의 …
2
머신 스케쥴링을위한 다항식 시간 근사 알고리즘 : 몇 개의 개방형 문제가 남아 있습니까?
1999 년 Petra Schuurman과 Gerhard J. Woeginger는 "기계 스케줄링을위한 다항식 시간 근사 알고리즘 : 10 가지 개방 된 문제" 라는 논문을 발표했습니다 . 그 이후로, 내가 아는 한, 매우 동일한 문제 목록에 관한 리뷰는 나타나지 않았습니다. 따라서 우리 각자가 열 가지 미해결 문제 중 일부에 대해 요약하여 여기에 기여할 수 …
8
최악의 경우, 평균적인 경우 외에 다른 종류의 실행 시간 분석?
알고리즘의 실행 시간을 분석하는 방법은 다음과 같습니다. 1) 최악의 경우 분석 : 최악의 인스턴스에서 실행 시간. 2) 평균 사례 분석 : 임의 인스턴스에서 예상 실행 시간. 3) 상각 분석 : 최악의 인스턴스 순서에서 평균 실행 시간. 4) 순조로운 분석 : 최악의 무작위 교란이 발생한 인스턴스에서 예상 실행 시간. 5) 일반적인 …
2
하한을 생성하기위한 Mulmuley-Sohoni 기하학적 접근은 어떻게 Razborov-Rudich 의미에서 자연적 증거를 생성하지 않습니까?
제목의 정확한 문구는 Anand Kulkarni (이 사이트를 만들 것을 제안한 사람) 때문입니다. 이 질문은 예제 질문으로 제기되었지만 정말 궁금합니다. 나는 대수 기하학에 대해 거의 알지 못하고 실제로 P / poly 대 NP 질문에서 논란의 여지가있는 학부 이해도 있습니다 (비 상대적, 비 대수, 자연적인 증거는 아닐 것입니다) . 대수 기하학이 이러한 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.