iajsidfjaoisdm
This commit is contained in:
parent
7b5baba08f
commit
05fd8d00e9
GPG Key ID:
BDA47A31A3C8EE6B
|
|
@ -0,0 +1,38 @@
|
|||
import qualified Data.Map.Strict as Map
|
||||
import Data.Map.Strict (Map)
|
||||
import Debug.Trace
|
||||
import Control.Monad.State
|
||||
|
||||
-- 1st is turn number
|
||||
-- 2nd is map of spoken
|
||||
-- 3rd is next number to speak
|
||||
type S = (Int, Map Int Int, Int)
|
||||
|
||||
produceInitial lst =
|
||||
let len = length lst
|
||||
f acc (idx, el) = Map.insert el idx acc
|
||||
initMap = foldl f Map.empty $ zip [0..] lst
|
||||
in (len, initMap, 0)
|
||||
|
||||
speak :: Int -> State S Int
|
||||
speak n = do
|
||||
(turn, spoken, nextSpeak) <- get
|
||||
let lastSpoke = Map.lookup nextSpeak spoken
|
||||
let spoken2 = Map.insert nextSpeak turn spoken
|
||||
let nextSpeak2 = case lastSpoke of
|
||||
Nothing -> 0
|
||||
Just n -> turn - n
|
||||
let result = (turn + 1, spoken2, nextSpeak2)
|
||||
-- modify (\_ -> traceShow result result)
|
||||
modify (\_ -> result)
|
||||
return nextSpeak
|
||||
|
||||
speakStream lst = (++) lst $ flip evalState initial $ mapM speak [0..]
|
||||
where initial = produceInitial lst
|
||||
|
||||
actualInput = [5,1,9,18,13,8,0]
|
||||
exInput = [0,3,6]
|
||||
n = 30000000
|
||||
-- n = 2020
|
||||
|
||||
main = do print (speakStream actualInput !! (n-1))
|
||||
|
|
@ -0,0 +1,388 @@
|
|||
ex="""
|
||||
class: 1-3 or 5-7
|
||||
row: 6-11 or 33-44
|
||||
seat: 13-40 or 45-50
|
||||
|
||||
your ticket:
|
||||
7,1,14
|
||||
|
||||
nearby tickets:
|
||||
7,3,47
|
||||
40,4,50
|
||||
55,2,20
|
||||
38,6,12
|
||||
""".strip()
|
||||
|
||||
actual="""departure location: 26-404 or 427-951
|
||||
departure station: 43-307 or 325-967
|
||||
departure platform: 39-383 or 399-950
|
||||
departure track: 31-157 or 178-969
|
||||
departure date: 28-109 or 135-950
|
||||
departure time: 38-622 or 631-958
|
||||
arrival location: 35-61 or 69-957
|
||||
arrival station: 36-216 or 241-951
|
||||
arrival platform: 41-586 or 606-967
|
||||
arrival track: 47-573 or 586-951
|
||||
class: 31-439 or 445-957
|
||||
duration: 35-925 or 939-965
|
||||
price: 41-473 or 494-952
|
||||
route: 45-742 or 754-963
|
||||
row: 41-338 or 357-952
|
||||
seat: 45-848 or 873-968
|
||||
train: 37-183 or 197-952
|
||||
type: 46-509 or 522-974
|
||||
wagon: 32-69 or 81-967
|
||||
zone: 37-759 or 780-967
|
||||
|
||||
your ticket:
|
||||
103,197,83,101,109,181,61,157,199,137,97,179,151,89,211,59,139,149,53,107
|
||||
|
||||
nearby tickets:
|
||||
209,822,916,528,93,531,551,797,387,835,278,464,546,945,732,88,678,145,559,287
|
||||
361,364,272,676,683,606,911,903,890,600,784,669,894,428,741,92,735,276,142,836
|
||||
781,526,892,684,272,536,918,9,402,546,925,824,201,502,688,432,613,809,713,374
|
||||
524,557,363,240,554,371,58,801,96,156,449,454,573,903,365,833,632,258,785,941
|
||||
924,802,727,547,447,674,251,212,359,180,620,4,257,525,403,94,181,844,547,569
|
||||
107,673,817,281,543,800,59,557,739,570,891,216,149,105,728,649,86,336,464,933
|
||||
148,264,782,50,901,752,706,287,61,617,300,100,538,540,563,145,816,180,686,461
|
||||
781,256,535,203,24,213,804,817,145,304,924,895,890,794,199,739,734,200,400,899
|
||||
84,501,93,782,494,226,88,902,843,795,674,732,509,890,182,716,358,298,367,925
|
||||
331,82,617,102,684,545,296,878,409,887,820,181,182,875,242,907,294,428,787,714
|
||||
899,780,543,561,523,633,284,457,695,528,301,676,799,921,105,865,465,798,759,813
|
||||
203,614,843,657,791,669,453,541,854,845,209,841,806,292,105,338,694,259,698,248
|
||||
289,946,635,736,890,494,656,665,813,736,884,341,253,758,437,281,153,104,915,817
|
||||
662,897,901,104,283,731,56,655,730,204,345,542,381,641,201,297,375,806,524,565
|
||||
462,380,736,528,90,471,401,676,203,88,766,61,372,264,50,253,428,823,547,793
|
||||
381,108,787,569,711,737,879,569,803,483,277,684,463,908,526,820,368,282,366,92
|
||||
899,502,307,906,876,845,205,241,839,686,438,624,616,633,427,738,651,531,295,908
|
||||
690,638,275,216,94,5,608,141,611,615,808,247,470,292,634,829,503,833,278,505
|
||||
207,147,608,459,570,698,813,473,290,741,216,716,641,948,759,85,860,401,679,797
|
||||
241,666,345,243,51,670,83,680,842,152,251,571,279,527,635,833,549,140,906,542
|
||||
205,809,716,704,556,638,306,56,473,893,631,886,437,649,90,712,710,894,453,627
|
||||
566,61,545,208,523,550,822,700,204,57,744,947,82,555,91,613,252,377,365,820
|
||||
296,653,873,433,830,922,288,805,786,714,656,530,364,284,691,978,242,881,404,326
|
||||
553,643,614,815,448,533,902,507,324,380,879,255,898,682,876,738,713,642,665,447
|
||||
213,880,934,434,818,522,55,740,210,543,145,427,783,96,454,289,382,245,141,821
|
||||
810,910,647,935,468,52,721,330,457,509,103,890,293,280,612,642,683,669,787,281
|
||||
842,793,338,716,59,794,638,512,360,402,802,573,96,740,148,659,372,615,471,708
|
||||
334,608,522,553,137,138,277,870,305,529,85,383,149,657,95,637,270,431,179,681
|
||||
838,546,797,535,801,375,697,732,469,370,249,662,509,351,263,366,327,641,890,793
|
||||
571,651,661,456,697,706,831,464,639,731,363,533,702,498,296,635,379,924,328,110
|
||||
648,792,765,251,252,572,656,563,873,89,736,731,256,947,885,104,140,755,876,734
|
||||
546,642,781,697,923,394,711,358,255,246,793,532,566,268,526,783,708,830,819,568
|
||||
462,781,495,82,473,453,730,388,806,660,258,796,335,780,247,283,653,57,620,890
|
||||
652,245,136,795,281,464,662,250,730,101,684,2,273,379,96,783,738,543,255,811
|
||||
434,151,794,468,399,98,284,254,302,909,561,886,135,386,206,431,719,336,833,281
|
||||
567,276,378,731,726,342,612,908,650,432,501,689,641,274,140,58,470,212,815,250
|
||||
137,711,337,540,837,647,912,818,371,23,427,946,648,569,250,814,460,146,333,434
|
||||
727,654,328,148,337,648,659,848,284,378,103,851,568,473,633,784,298,758,819,941
|
||||
150,810,456,537,877,839,531,916,643,825,784,908,430,987,708,948,210,571,332,298
|
||||
98,399,106,462,528,554,151,98,439,806,505,874,757,695,333,391,648,700,619,689
|
||||
525,841,432,535,797,497,208,908,539,427,851,446,729,505,895,839,813,210,538,788
|
||||
155,149,716,606,82,903,453,274,299,607,795,292,548,533,227,148,527,99,586,713
|
||||
801,742,879,714,786,464,987,713,360,698,643,53,541,105,260,261,717,728,717,612
|
||||
105,57,90,815,939,908,92,940,620,62,529,831,261,873,694,719,94,470,50,465
|
||||
611,836,83,548,469,938,548,680,207,823,498,205,696,701,572,376,944,830,652,95
|
||||
466,719,335,434,93,883,449,314,739,649,433,290,742,901,735,472,338,337,198,376
|
||||
977,97,447,360,729,538,307,524,557,282,731,836,800,675,885,549,841,903,632,821
|
||||
259,699,94,261,667,586,524,180,808,469,576,672,681,947,697,917,804,468,370,435
|
||||
689,785,180,877,453,150,700,498,249,500,755,845,361,605,274,268,151,200,814,150
|
||||
823,920,736,64,826,157,636,831,496,297,893,689,278,915,899,837,568,465,404,202
|
||||
663,722,210,709,289,526,567,216,101,242,917,18,381,333,566,541,573,143,572,54
|
||||
734,616,621,704,736,583,437,684,501,657,565,643,641,96,200,258,463,561,563,640
|
||||
499,837,260,96,711,880,882,447,457,228,507,677,284,670,733,823,274,289,286,539
|
||||
636,571,905,137,452,718,379,811,249,69,411,823,268,401,874,87,69,921,828,271
|
||||
276,105,285,754,457,635,738,99,439,183,816,253,674,247,944,143,207,54,199,994
|
||||
709,430,371,901,895,486,896,374,724,703,617,328,559,692,899,379,306,296,242,567
|
||||
466,215,471,431,844,54,382,87,93,756,655,259,379,872,615,400,264,366,211,85
|
||||
788,688,148,807,144,374,360,270,460,672,52,391,534,888,437,363,796,197,280,471
|
||||
717,548,525,622,797,303,247,704,328,606,53,810,381,812,462,671,380,797,983,658
|
||||
204,725,99,945,912,831,759,812,757,141,159,816,245,57,827,663,472,430,59,798
|
||||
465,638,264,359,542,93,638,599,151,149,210,732,247,873,891,262,96,431,642,902
|
||||
89,558,716,291,466,242,507,359,884,16,374,358,813,808,371,818,254,922,722,798
|
||||
212,505,372,691,455,683,438,886,200,701,554,372,945,537,821,261,725,740,781,395
|
||||
653,907,672,473,338,362,109,939,254,157,382,365,670,572,706,160,903,656,56,894
|
||||
894,81,908,651,781,521,837,908,378,244,947,154,675,289,708,925,680,618,637,652
|
||||
305,657,439,117,678,287,430,632,199,840,297,920,890,829,609,645,291,286,667,922
|
||||
803,154,52,825,157,945,739,146,921,332,844,109,239,657,821,156,461,669,919,704
|
||||
211,506,826,282,213,278,795,208,363,258,277,109,531,60,590,822,697,646,359,898
|
||||
680,707,13,151,366,651,430,709,274,715,891,254,201,445,917,291,179,259,794,454
|
||||
606,458,104,457,648,281,359,538,136,139,900,369,833,614,272,197,838,567,678,597
|
||||
708,718,823,282,932,157,241,376,914,265,711,380,105,821,795,665,555,642,663,636
|
||||
632,909,307,612,463,740,380,700,782,834,296,202,457,778,93,295,672,615,557,683
|
||||
668,211,664,504,455,533,494,338,943,525,996,670,452,544,701,210,675,298,833,300
|
||||
280,643,824,549,681,241,526,282,627,566,271,469,155,99,466,460,51,305,434,137
|
||||
902,546,530,325,109,796,543,209,894,883,227,673,800,335,621,798,557,215,912,536
|
||||
696,640,712,615,473,412,294,279,268,302,552,635,401,722,55,925,737,84,368,151
|
||||
571,294,197,921,294,843,359,97,62,691,447,639,706,572,706,539,563,946,941,294
|
||||
689,374,785,401,496,360,817,698,218,758,924,831,89,562,755,248,564,302,301,732
|
||||
672,89,502,893,560,183,929,469,553,99,714,305,272,689,701,734,873,502,798,534
|
||||
102,197,528,332,643,468,635,53,690,287,383,682,591,338,258,891,664,798,741,299
|
||||
902,470,667,500,806,464,197,51,694,83,673,267,508,181,788,921,148,882,977,739
|
||||
940,891,818,883,672,855,759,401,828,335,692,651,377,182,828,759,693,215,179,139
|
||||
610,565,289,687,848,939,810,359,338,910,948,318,494,470,667,786,919,329,215,653
|
||||
371,949,271,207,294,289,337,329,365,216,688,180,525,243,684,404,102,403,236,60
|
||||
781,361,649,500,276,672,818,944,553,95,878,803,335,365,250,994,277,883,447,719
|
||||
502,839,382,374,895,377,910,292,876,701,144,929,198,684,463,827,103,542,93,692
|
||||
59,256,83,728,567,529,626,882,759,704,106,209,784,556,874,610,94,815,715,780
|
||||
283,399,359,701,244,735,845,453,557,549,893,758,636,685,657,990,146,842,400,244
|
||||
617,88,825,249,499,885,547,274,434,332,99,153,880,216,508,472,880,565,12,566
|
||||
875,737,610,447,917,91,500,561,619,461,301,256,928,718,659,108,910,892,254,614
|
||||
337,573,942,846,638,530,154,929,833,83,828,526,884,726,825,141,428,837,253,692
|
||||
54,20,363,216,496,325,306,671,921,525,714,304,87,638,277,663,703,180,530,669
|
||||
619,742,180,81,674,877,901,463,737,825,641,695,666,794,881,637,55,849,671,452
|
||||
90,614,277,136,646,375,318,99,145,810,814,817,807,197,802,435,741,679,145,87
|
||||
328,284,948,18,157,610,499,453,646,92,508,833,279,275,542,884,549,498,803,455
|
||||
721,651,253,368,387,182,915,404,818,141,659,821,91,654,293,544,739,685,782,428
|
||||
620,658,51,876,820,698,357,104,796,83,379,775,887,466,285,246,244,879,812,657
|
||||
949,278,157,156,498,377,908,555,494,374,920,797,95,840,502,127,151,838,381,848
|
||||
875,445,541,257,914,873,639,846,292,333,565,523,524,737,216,847,824,467,60,343
|
||||
501,60,616,942,338,783,453,235,242,689,81,91,685,435,918,265,647,757,839,689
|
||||
146,272,902,716,880,718,486,299,664,250,911,877,326,378,366,147,606,915,560,826
|
||||
661,882,285,400,448,683,402,834,678,752,718,632,876,802,259,794,705,326,943,647
|
||||
377,709,550,267,60,553,506,648,469,896,991,670,50,465,551,646,888,829,369,332
|
||||
989,806,884,373,809,656,298,215,156,522,645,468,55,499,816,881,249,833,756,808
|
||||
267,652,371,140,810,646,564,677,637,328,733,258,58,818,732,706,459,758,990,715
|
||||
670,373,880,697,819,74,451,612,837,297,561,887,914,657,844,242,60,541,501,95
|
||||
642,691,684,392,432,546,402,886,464,682,178,566,729,537,204,641,842,505,723,666
|
||||
792,542,218,268,247,898,182,428,944,453,796,450,914,552,909,535,97,922,718,698
|
||||
755,804,908,533,377,531,942,68,465,645,108,303,57,83,247,298,290,661,619,155
|
||||
346,302,383,828,268,365,378,817,289,299,287,922,373,618,372,257,563,946,586,522
|
||||
84,608,390,530,55,266,825,635,545,258,335,53,338,568,534,247,365,502,455,274
|
||||
253,889,246,499,250,459,211,894,683,268,734,526,675,321,257,642,550,692,839,298
|
||||
153,465,90,83,372,737,717,329,700,98,373,686,103,429,357,272,989,700,874,669
|
||||
846,683,673,781,692,823,177,273,660,792,563,672,737,675,146,507,198,507,694,562
|
||||
634,248,890,840,606,714,103,770,655,206,810,668,685,876,656,657,464,639,833,471
|
||||
791,294,693,81,201,758,386,822,757,565,734,457,741,717,264,733,247,264,243,883
|
||||
262,399,792,465,153,182,251,348,699,404,647,733,563,908,271,847,848,891,286,265
|
||||
889,471,500,261,462,659,216,711,347,246,925,913,826,530,608,366,755,651,815,670
|
||||
329,197,56,437,261,553,466,455,723,246,549,800,213,618,874,556,994,692,679,941
|
||||
807,54,285,265,904,757,784,787,610,699,258,460,852,874,97,464,532,797,915,500
|
||||
661,545,887,571,205,212,307,729,104,426,704,544,780,715,359,108,662,243,287,465
|
||||
916,140,692,532,695,891,369,275,551,500,516,198,684,215,832,713,648,502,876,831
|
||||
531,103,563,476,257,789,825,276,782,610,54,526,545,550,784,643,654,201,332,304
|
||||
373,244,333,505,803,456,368,878,98,546,565,2,924,702,278,704,681,916,435,373
|
||||
936,916,663,288,921,364,251,682,694,293,695,830,270,105,154,791,259,620,501,693
|
||||
695,940,93,724,82,178,689,106,732,296,381,281,694,367,699,831,788,700,865,252
|
||||
892,470,246,276,908,64,371,669,284,143,586,907,829,54,907,725,331,209,287,612
|
||||
280,889,977,505,206,782,887,948,699,88,904,875,465,503,149,500,259,399,569,294
|
||||
656,682,277,433,542,452,462,211,359,497,278,889,949,156,286,102,938,59,791,798
|
||||
912,909,294,541,202,335,428,563,55,798,93,197,795,740,636,919,814,364,651,237
|
||||
525,663,179,613,798,102,727,383,300,468,313,544,461,459,205,679,502,99,912,642
|
||||
336,643,283,143,636,203,561,289,670,138,429,839,472,672,351,812,107,399,893,400
|
||||
674,610,539,922,237,572,732,449,924,606,55,759,711,374,438,261,642,473,157,786
|
||||
718,338,496,247,662,757,337,528,168,399,622,609,208,910,675,949,700,914,729,85
|
||||
846,846,800,815,949,507,888,13,833,81,833,101,61,53,730,242,102,631,908,55
|
||||
844,371,81,3,825,844,183,614,742,280,569,848,561,207,535,946,523,399,571,806
|
||||
793,923,685,637,946,302,646,454,937,781,381,214,695,214,660,884,152,83,654,205
|
||||
634,895,738,632,522,648,875,713,946,251,180,299,100,784,296,289,11,899,470,182
|
||||
834,634,692,911,466,15,732,924,522,501,242,451,357,553,944,648,263,889,537,664
|
||||
718,306,941,878,653,294,894,529,94,510,467,728,98,742,942,693,463,732,139,910
|
||||
563,724,901,722,543,949,127,791,917,897,697,253,335,640,297,88,920,428,198,454
|
||||
780,691,458,732,787,684,82,299,564,835,87,407,433,427,468,701,650,792,295,145
|
||||
294,97,646,447,856,702,706,462,216,364,846,502,525,948,569,380,83,212,435,570
|
||||
504,703,363,834,135,402,494,625,892,371,569,723,641,154,673,141,801,298,841,569
|
||||
211,609,790,898,921,436,369,782,898,639,907,733,732,848,860,327,60,437,542,717
|
||||
838,657,303,246,848,680,615,296,466,263,595,50,726,553,570,338,202,818,451,296
|
||||
879,834,291,872,544,676,381,564,215,472,697,834,903,721,690,260,209,608,815,647
|
||||
97,886,496,787,545,666,335,704,457,771,307,845,662,837,723,92,790,560,648,284
|
||||
458,639,828,413,327,726,902,721,199,216,719,635,432,214,149,754,83,445,272,374
|
||||
688,563,106,883,712,535,732,113,894,256,450,494,691,205,890,833,803,723,457,328
|
||||
735,244,255,19,898,376,183,720,434,529,889,607,759,718,156,54,183,796,522,635
|
||||
698,739,367,177,698,58,688,533,809,889,733,815,781,403,527,450,618,889,60,104
|
||||
336,810,467,211,893,885,435,281,705,113,249,370,327,462,266,826,703,809,691,784
|
||||
757,798,216,153,809,149,96,536,450,332,676,261,569,229,501,722,200,634,247,796
|
||||
739,638,660,748,785,793,84,83,527,910,508,555,306,57,150,693,618,59,843,711
|
||||
294,787,656,946,691,325,432,333,452,373,901,604,361,439,59,286,813,840,700,244
|
||||
870,400,208,250,620,466,609,640,713,96,612,690,211,756,380,815,553,453,85,808
|
||||
60,272,608,846,704,728,839,903,83,361,717,673,797,787,778,790,889,504,614,704
|
||||
10,674,455,883,205,653,636,740,834,607,651,333,947,445,498,531,792,616,214,368
|
||||
399,548,157,366,757,731,536,305,199,650,828,303,607,811,4,816,539,940,456,709
|
||||
137,267,804,560,797,200,302,875,619,629,95,886,568,671,874,448,278,463,539,670
|
||||
676,798,812,643,208,775,180,294,921,548,949,86,261,641,888,143,702,788,306,899
|
||||
619,458,900,581,249,334,107,207,681,621,203,380,569,759,652,446,360,297,50,829
|
||||
528,699,289,690,823,676,674,509,466,730,902,608,305,211,737,638,617,681,700,761
|
||||
84,651,447,72,381,874,331,296,502,87,257,288,506,108,783,152,329,252,809,737
|
||||
672,921,155,332,348,533,898,399,616,664,472,293,201,216,61,729,657,722,648,814
|
||||
839,677,796,203,359,470,449,91,689,869,92,60,838,550,255,713,662,141,180,199
|
||||
709,274,439,827,785,294,199,495,260,671,198,15,470,379,671,877,713,756,609,303
|
||||
277,536,312,655,504,634,468,285,734,728,256,899,109,586,433,820,106,782,918,266
|
||||
100,608,947,780,817,721,209,99,652,60,610,297,203,936,790,568,570,799,918,290
|
||||
787,889,652,282,618,456,622,732,287,156,385,733,460,279,889,379,897,693,573,784
|
||||
466,922,683,644,99,121,835,615,97,754,945,494,947,888,156,273,613,909,333,210
|
||||
233,54,631,836,921,536,886,210,873,733,941,51,332,665,568,292,329,363,383,710
|
||||
924,262,381,939,458,148,138,57,143,364,888,997,641,820,942,261,940,820,249,733
|
||||
451,96,613,904,293,554,54,758,692,782,357,560,986,944,946,833,293,706,695,210
|
||||
471,897,434,85,241,107,918,640,606,199,464,786,740,106,942,907,238,205,813,282
|
||||
804,373,607,639,845,506,675,946,828,434,669,553,710,420,739,705,696,754,799,299
|
||||
718,501,259,662,434,107,213,484,546,286,206,617,472,533,470,154,643,921,211,360
|
||||
280,820,897,654,157,890,105,791,214,657,358,720,60,795,873,889,468,786,265,993
|
||||
147,719,730,730,466,530,827,826,788,801,446,219,808,707,360,102,464,552,897,812
|
||||
294,94,241,268,875,266,923,735,379,705,466,687,90,495,879,354,722,692,947,841
|
||||
180,95,690,461,142,561,379,101,283,676,650,247,471,509,846,931,548,700,538,522
|
||||
451,466,674,145,434,296,654,551,503,289,372,381,586,917,89,589,734,886,371,246
|
||||
715,754,758,147,638,299,895,833,833,398,940,54,100,524,546,57,241,373,455,702
|
||||
572,703,529,280,399,818,255,537,403,806,264,298,759,908,142,423,494,639,915,741
|
||||
403,82,814,355,183,823,893,364,881,733,368,815,738,614,505,497,550,146,875,896
|
||||
367,832,911,287,178,573,93,683,924,291,286,558,178,841,333,623,569,670,724,836
|
||||
810,571,87,917,758,994,51,104,534,337,681,572,559,256,879,917,293,304,917,458
|
||||
571,815,871,302,831,822,881,791,724,713,568,638,798,333,278,60,246,606,714,104
|
||||
555,712,567,837,136,553,642,19,208,616,712,893,363,325,303,531,631,789,501,813
|
||||
150,379,138,381,434,785,823,648,357,912,128,435,573,638,888,360,730,284,636,565
|
||||
671,198,93,382,527,915,263,712,253,935,267,816,453,682,527,538,399,663,886,151
|
||||
742,83,329,627,509,631,799,371,893,206,365,455,182,635,534,455,372,465,684,838
|
||||
643,896,898,873,873,796,438,448,402,540,626,685,939,672,435,209,459,495,282,729
|
||||
257,563,832,831,552,607,218,148,279,381,555,667,657,369,942,57,558,149,689,897
|
||||
208,683,569,259,978,674,697,836,215,215,140,361,714,691,940,199,57,445,302,712
|
||||
208,618,563,616,777,359,671,289,300,672,665,917,619,635,528,898,639,213,895,98
|
||||
278,781,547,307,371,787,920,215,631,925,880,565,268,361,616,891,881,643,144,321
|
||||
538,645,728,763,211,677,690,916,373,649,212,436,371,292,268,373,380,438,948,507
|
||||
257,757,917,656,560,782,664,546,925,265,795,494,647,151,531,101,534,1,613,432
|
||||
334,669,818,524,887,329,375,792,669,328,784,813,494,697,447,524,890,360,399,418
|
||||
837,554,677,816,622,534,720,893,883,255,912,712,341,291,687,890,400,921,101,819
|
||||
740,531,292,271,816,727,371,696,590,272,270,562,544,179,817,498,147,946,881,611
|
||||
616,647,847,824,845,535,700,281,153,642,478,281,197,468,447,204,908,877,550,664
|
||||
755,494,271,838,108,591,58,841,245,721,90,463,714,561,875,156,542,541,267,150
|
||||
366,757,681,946,548,533,135,896,507,359,824,282,15,638,305,780,640,827,781,798
|
||||
827,686,639,525,672,921,573,275,883,375,733,910,545,101,996,277,827,900,288,901
|
||||
254,685,548,723,729,507,100,917,763,332,634,89,404,572,690,788,921,559,839,137
|
||||
662,287,204,311,468,947,919,709,664,357,52,637,690,910,894,633,373,459,457,89
|
||||
652,434,365,754,757,626,720,642,277,85,289,664,559,213,148,813,826,504,821,157
|
||||
666,888,545,759,107,883,17,462,58,264,537,877,913,462,887,198,362,58,106,691
|
||||
101,216,650,250,328,559,854,834,622,655,447,54,946,799,727,660,705,137,95,610
|
||||
296,453,724,512,296,536,921,399,884,617,821,506,61,830,280,456,536,203,562,727
|
||||
844,561,634,452,806,607,495,107,813,147,927,848,809,879,247,705,705,707,742,136
|
||||
839,791,504,528,631,607,633,498,305,834,277,382,724,268,787,816,18,361,918,448
|
||||
716,375,438,789,250,725,886,543,275,2,523,370,108,848,897,614,60,757,911,666
|
||||
291,790,472,727,560,313,276,54,93,612,92,915,103,794,676,152,267,915,298,334
|
||||
692,547,107,188,293,83,215,69,461,939,757,244,723,632,84,754,524,451,535,403
|
||||
665,644,5,672,719,561,379,54,645,701,430,621,613,675,703,662,916,907,831,805
|
||||
288,496,724,326,305,460,714,329,839,163,829,728,638,672,450,920,286,783,543,429
|
||||
726,243,522,144,452,158,295,182,359,368,892,689,362,147,783,943,307,914,288,706
|
||||
102,434,292,617,876,57,666,524,299,258,151,462,645,919,109,533,197,4,454,542
|
||||
911,907,564,632,803,211,707,901,708,340,556,255,781,135,404,268,375,671,526,338
|
||||
802,448,451,735,99,669,349,722,609,783,429,298,692,918,642,274,135,284,428,54
|
||||
661,427,600,837,273,572,801,790,945,674,832,277,529,759,539,794,361,790,383,835
|
||||
453,537,875,203,536,246,586,453,484,330,60,642,295,328,207,494,216,668,919,373
|
||||
680,673,923,785,137,648,590,495,100,105,471,109,914,877,500,557,383,523,522,631
|
||||
534,819,694,647,691,367,468,545,689,837,64,810,146,613,909,252,756,736,690,251
|
||||
757,367,662,199,947,109,200,813,428,694,737,692,429,137,689,319,700,844,97,648
|
||||
662,803,618,178,85,295,711,259,652,717,94,893,616,139,438,779,651,885,264,357
|
||||
570,264,105,334,450,841,568,643,845,449,883,949,434,682,820,459,672,844,617,864
|
||||
531,98,150,466,921,812,464,175,260,697,278,643,876,687,914,60,61,439,297,508
|
||||
876,438,837,681,615,327,409,216,703,206,370,362,680,95,804,894,531,716,302,617
|
||||
802,366,211,532,556,791,551,999,876,336,543,281,538,181,836,109,208,556,903,270
|
||||
94,731,528,593,507,919,330,665,543,329,700,705,59,288,654,681,884,59,891,925
|
||||
531,153,759,828,242,331,835,438,612,539,631,455,616,306,985,800,826,102,725,358
|
||||
538,214,780,453,692,844,797,921,814,797,638,666,211,506,359,235,907,642,137,687
|
||||
364,525,458,179,694,568,153,197,181,461,361,293,18,888,942,699,253,290,728,718
|
||||
718,208,730,721,733,90,445,416,361,85,844,787,463,272,713,714,690,336,198,757
|
||||
105,704,302,610,947,608,544,731,264,817,719,873,740,559,927,921,277,436,820,689
|
||||
209,742,656,473,151,430,375,456,731,647,848,673,272,93,824,102,983,504,812,377
|
||||
498,898,94,707,607,826,756,471,129,466,844,915,251,789,566,506,471,873,285,652
|
||||
788,281,57,430,822,90,764,523,294,327,882,181,377,819,611,87,282,361,820,498
|
||||
381,450,892,826,603,710,670,281,399,841,274,284,675,845,805,688,613,263,673,273
|
||||
671,563,276,372,108,946,263,245,688,313,439,203,699,148,360,454,290,755,687,55
|
||||
""".strip()
|
||||
|
||||
ex2="""class: 0-1 or 4-19
|
||||
row: 0-5 or 8-19
|
||||
seat: 0-13 or 16-19
|
||||
|
||||
your ticket:
|
||||
11,12,13
|
||||
|
||||
nearby tickets:
|
||||
3,9,18
|
||||
15,1,5
|
||||
5,14,9""".strip()
|
||||
|
||||
curr="fields"
|
||||
fields=[]
|
||||
your=[]
|
||||
nearby=[]
|
||||
for line in actual.splitlines():
|
||||
line=line.strip()
|
||||
if curr=="fields":
|
||||
if line=="": continue
|
||||
if line.startswith("your ticket:"):
|
||||
curr="your"
|
||||
continue
|
||||
k,v=line.split(": ")
|
||||
conds=[]
|
||||
for cond in v.split(" or "):
|
||||
l,r=list(map(int, cond.split("-")))
|
||||
conds.append((l, r))
|
||||
fields.append((k, conds))
|
||||
elif curr=="your":
|
||||
if line=="": continue
|
||||
if line.startswith("nearby tickets:"):
|
||||
curr="nearby"
|
||||
continue
|
||||
your=list(map(int, line.split(",")))
|
||||
elif curr=="nearby":
|
||||
nearby.append(list(map(int, line.split(","))))
|
||||
|
||||
# print(fields)
|
||||
# print(your)
|
||||
# print(nearby)
|
||||
|
||||
values=[]
|
||||
for i in range(len(your)):
|
||||
values.append(set())
|
||||
for (idx, ticket) in enumerate([your]+nearby):
|
||||
ticket_valid=True
|
||||
for val in ticket:
|
||||
isvalid=False
|
||||
for (prop, conds) in fields:
|
||||
for l, r in conds:
|
||||
if val>=l and val<=r:
|
||||
isvalid=True
|
||||
break
|
||||
if not isvalid:
|
||||
ticket_valid = False
|
||||
break
|
||||
if ticket_valid:
|
||||
assert len(ticket)==len(values)
|
||||
for i, n in enumerate(ticket):
|
||||
values[i].add(n)
|
||||
|
||||
print(len(values))
|
||||
valid_for=[]
|
||||
for (prop, conds) in fields:
|
||||
this_valid_for=set()
|
||||
for (idx, prop_values) in enumerate(values):
|
||||
all_valid=True
|
||||
for val in prop_values:
|
||||
this_valid=False
|
||||
for l, r in conds:
|
||||
if val>=l and val<=r:
|
||||
this_valid=True
|
||||
break
|
||||
if not this_valid: all_valid=False
|
||||
if all_valid: this_valid_for.add(idx)
|
||||
valid_for.append((prop, this_valid_for))
|
||||
|
||||
valid_for.sort(key=lambda c: len(c[1]))
|
||||
print(valid_for)
|
||||
|
||||
pairings=list()
|
||||
for i in range(len(your)):
|
||||
pairings.append("")
|
||||
used=set()
|
||||
for k, vs in valid_for:
|
||||
if len(vs)==0: continue
|
||||
found=False
|
||||
for v in vs:
|
||||
if v in used: continue
|
||||
pairings[v] = k
|
||||
used.add(v)
|
||||
found=True
|
||||
assert found, f"{k}, {vs}, {pairings}"
|
||||
|
||||
ticket=dict(zip(pairings, your))
|
||||
p=1
|
||||
for k, v in ticket.items():
|
||||
if k.startswith("departure"):
|
||||
p*=v
|
||||
print(p)
|
||||
Loading…
Reference in New Issue