You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
86 lines
3.2 KiB
Racket
86 lines
3.2 KiB
Racket
#lang br
|
|
(require racket/file rackunit csp racket/set racket/dict)
|
|
|
|
(match-define (list fields my-ticket other-tickets)
|
|
(string-split (file->string "16.rktd") "\n\n"))
|
|
|
|
(struct predicate (name func) #:transparent
|
|
#:property prop:procedure 1)
|
|
(define predicates
|
|
(for/list ([field (string-split fields "\n")])
|
|
(match (regexp-match #px"^(.*?): (\\d+)-(\\d+) or (\\d+)-(\\d+)$" field)
|
|
[(list* _ name numstrs)
|
|
(match-define (list val1 val2 val3 val4) (map string->number numstrs))
|
|
(predicate name (λ (x)
|
|
(let ([h (make-hasheq)])
|
|
(hash-ref! h x
|
|
(λ ()
|
|
(or (<= val1 x val2) (<= val3 x val4)))))))])))
|
|
|
|
(define (ticket->ints t) (map string->number (string-split t ",")))
|
|
|
|
(check-equal? (for*/sum ([ticket (cdr (string-split other-tickets "\n"))]
|
|
[ticket-int (ticket->ints ticket)]
|
|
#:unless (for/or ([pred predicates])
|
|
(pred ticket-int)))
|
|
ticket-int) 26988)
|
|
|
|
(define all-tickets (cdr (string-split other-tickets "\n")))
|
|
|
|
(define (ticket-valid? ticket)
|
|
(for/and ([intvec (ticket->ints ticket)])
|
|
(for/or ([pred predicates])
|
|
(pred intvec))))
|
|
|
|
(define valid-tickets (filter ticket-valid? all-tickets))
|
|
|
|
(define cols (apply map list (map ticket->ints valid-tickets)))
|
|
|
|
(define col-preds (make-hasheq))
|
|
(for ([(col colidx) (in-indexed cols)])
|
|
(hash-set! col-preds colidx
|
|
(apply mutable-set (for/list ([(pred predidx) (in-indexed predicates)]
|
|
#:when (andmap pred col))
|
|
predidx))))
|
|
|
|
(define assignment (make-hasheq))
|
|
|
|
(let loop ()
|
|
(define unique-pairs (for/list ([(colidx predidx) (in-dict (hash->list col-preds))]
|
|
#:when (eq? (set-count predidx) 1))
|
|
(cons colidx (car (set->list predidx)))))
|
|
(when (pair? unique-pairs)
|
|
(for ([(colidx predidx) (in-dict unique-pairs)])
|
|
(hash-set! assignment colidx predidx)
|
|
(hash-remove! col-preds colidx)
|
|
(for ([k (in-hash-keys col-preds)])
|
|
(hash-update! col-preds k (λ (vs) (set-remove! vs predidx) vs))))
|
|
(loop)))
|
|
|
|
(define (test-assignment assignment)
|
|
(for*/product ([(colidx predidx) (in-dict assignment)]
|
|
[pred (in-value (list-ref predicates predidx))]
|
|
#:when (regexp-match "departure" (predicate-name pred)))
|
|
(list-ref (ticket->ints my-ticket) colidx)))
|
|
|
|
(check-equal? (test-assignment assignment) 426362917709)
|
|
|
|
;; CSP solution
|
|
(require csp)
|
|
(define prob (make-csp))
|
|
(define colidxs (range (length cols)))
|
|
(add-vars! prob colidxs (range (length predicates)))
|
|
(add-all-diff-constraint! prob #:same eq?)
|
|
(for ([colidx (in-list colidxs)])
|
|
(add-constraint! prob
|
|
(λ (predidx) (andmap (list-ref predicates predidx)
|
|
(list-ref cols colidx))) (list colidx)))
|
|
|
|
(define csp-assignment
|
|
(parameterize ([current-select-variable mrv-degree-hybrid]
|
|
[current-order-values shuffle]
|
|
[current-node-consistency #t])
|
|
(solve prob)))
|
|
(print-debug-info)
|
|
|
|
(check-equal? (test-assignment csp-assignment) 426362917709) |