컴퓨터 과학

나는 인터뷰에서 다음과 같은 문제를 . (예 : )이 숫자는 이진 표현으로 변환되고 은 설정된 비트 수입니다 . (예 : , )A 0 = 1234 N 1 A 0 = b 100 1101 0010 N = 5ㅏ0A0A_0ㅏ0= 1234A0=1234A_0 = 1234엔NN111ㅏ0= b 100 1101 0010 A0=b100 1101 0010A_0 = b100\ 1101\ …

12 algorithms  optimization 

빅 데이터 관점에서 비롯됩니다. 기본적으로 많은 프레임 워크 (Apache Spark와 같은)는 Functor / Monad와 같은 인터페이스를 제공하여 관계형 작업의 부족을 "보상"하고 cats-to-SQL 변환 (Slick in Scala)으로 유사한 움직임이 있습니다. 예를 들어, SQL 관점에서 벡터의 요소 별 곱셈을 위해서는 자연스런 조인 (인덱스에 대한 반복이 없다고 가정)이 필요 합니다. 이는 범주 이론의 …

12 relational-algebra  category-theory  curry-howard 

일관성과 완전성이 건전성을 암시 하는 질문을 읽고 있었습니까? 그리고 첫 번째 진술은 다음과 같습니다. 건 전함은 일관성을 의미한다는 것을 이해합니다. 나는 건전성이 일관성보다 약한 진술이라고 생각했기 때문에 매우 당황했습니다 (즉, 일관된 시스템은 건전해야한다고 생각했지만 사실은 아닌 것 같습니다). 나는 Scott Aaronson이 일관성과 건전성을 위해 MIT의 6.045 / 18.400 과정에서 사용하고있는 …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

에서 프로그래밍 언어에 대한 실무 기초 , 로버트 하퍼는 말한다 제안이 참되다는 증거가 있다는 의미라면, 그 제안이 거짓이라는 것은 무엇을 의미합니까? 그것은 우리가 그것을 반박 하여 증명할 수 없음을 보여줍니다. 즉, 그것이 사실이라는 증거가 알려진 사실과 모순된다는 것을 보여줄 수 있다면 제안은 거짓입니다. 그러나 이것은 건설적 / 직관적 논리에 모순 …

12 logic 

또는 : 선물을 받으려면 루퍼트가 필요합니까? 라우팅 문제는 제쳐두고 산타는 다음과 같은 문제에 직면합니다 (많은, 여러 번). 용량 ¹ 의 가방과 크기가 각각 i sCCC 인 선물 세트가 주어지면 , 그는 아이 { c 1 , … , c k }를 행복하게 만들고 싶어합니다 . 그는 자식하는 모든 소원 목록에서 …

12 algorithms  complexity-theory  optimization  packing 

현재 이진 데이터를 생성하는 코드를 작성 중입니다. 특정 수의 세트 비트로 64 비트 숫자를 생성해야합니다. 보다 정확하게, 프로시 저는 취하고 0&lt;n&lt;640&lt;n&lt;640 < n < 64정확히 nnn 비트가 111 설정되고 나머지는 0으로 설정된 의사 난수 64 비트 숫자를 반환해야합니다 . 내 현재 접근 방식은 다음과 같습니다. 의사 난수 64 비트 숫자 …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

현재 나는 Coq를 배워야하고 or: 을 처리하는 방법을 모른다 예를 들어, 간단하게 증명하는 방법을 모르겠습니다. Theorem T0: x \/ ~x. 누군가 나를 도울 수 있다면 정말 감사하겠습니다. 참고로이 치트 시트를 사용합니다 . 또한 내가 생각하는 증거의 예 : 이중 부정의 경우 : Require Import Classical_Prop. Parameters x: Prop. Theorem T7: …

12 logic  coq 

배경 : 저는 컴퓨터 과학의 완전한 평신도입니다. 나는 바쁜 비버 번호에 대해 읽고 있었다 여기에 , 나는 다음과 같은 구절을 발견 : 인류는 BB (7)의 값이나 시퀀스의 더 높은 숫자는 물론 BB (6)의 값을 절대 알 수 없습니다. 실제로, 상위 5, 6 규칙 경쟁자들은 이미 우리를 피하고 있습니다. 우리는 그들이 …

12 turing-machines  number-theory  busy-beaver 

우리는 그들이 강력하게 추측하지만 입증되지 않도록, 즉 반대 속성, 어떤 질문이 P. 외부로 강하게 추측하지만 검증되지 않은 인수 분해 같은 많은 문제를 가지고 내부 P?

12 complexity-theory  polynomial-time 

차이점을 찾기 위해 Wikipedia의 시간적 논리에 대한 아래의 주장을 만났습니다 . 동적 로직과 많은 공통 특징을 공유하는 모달 로직의 또 다른 변형은 Pnueli가 "내인성"로직으로 특징 지어진 것, 다른 것들은 "외인성"로직이라는 점에서 전술 한 모든 로직과 다르다. 이 Pnueli는 시간적 논리 주장이 단일 세계 상황이 시간의 흐름에 따라 변하는 보편적 행동 …

12 logic  linear-temporal-logic  temporal-logic 

명령어를 수정할 수있는 임의의 컴퓨터 프로그램이있는 경우 명령어를 수정할 수없는 프로그램으로 해당 프로그램을 시뮬레이션 할 수 있습니까? 편집하다: 나는 stackexchange를 처음 사용하므로 여기에 새로운 질문을 할 수 있는지 확실하지 않지만 여기에 간다. 그래서 가능하다는 증거는 실제로 여러분이 보여 주듯이 실제로 간단합니다. 이제는 궁금합니다. 입출력과 동등한 가장 효율적인 비 자기 수정 …

12 computability  computation-models  turing-completeness  church-turing-thesis 

RAM을 명령 목록으로 만들고이 목록을 정수로 만들어서 Gödel 번호의 RAM을 얻을 수 있습니다. 그래서 내가 생각한 것은 "자신의 고델 번호 (예 : )를 반환하는 RAM은 그 안에 정보 x 를 가져와야하기 때문에 정수는 x 보다 커야합니다 . 그래서 그것은 자신의 고델을 반환하지 않습니다 번호."xxxxxxxxx 그러나 특정 숫자 의 경우 RAM …

12 computability 

PRIME, COMPOSITE, FACTOR 문제와 복잡성 측면에서 어떻게 관련되어 있는지 문제를 해결하는 데 어려움을 겪고 있습니다. AKS 기본 테스트 에서 PRIME이 로 표시되어 있음을 이해 했으며 COMPOSITE에서도 작동한다고 생각합니다.PPP FACTOR는 FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR = \{(m,r) :\;\; \exists s \text{ such that} …

12 complexity-theory  factoring 

학생 인 Alice는 다음 주 동안 많은 숙제를합니다. 숙제의 각 항목은 정확히 하루가 걸립니다. 각 항목에는 마감일이 있으며 마감일을 놓치면 성적에 부정적인 영향을 미칩니다 (실수, 비교할 경우 보너스 포인트 가정). (마감일, 성적 영향) 목록을 제공하는 기능을 작성하여 숙제가 성적에 미치는 악영향의 합계를 최소화하기 위해 어떤 요일에 수행해야하는 일정을 파악하십시오. 모든 …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

데이터 구조와 알고리즘에서 가장 인기있는 질문 중 하나는 주로 전화 인터뷰에 관한 것입니다.

12 algorithms  data-structures  linked-lists