そりパッキング問題

サンタのエルフは、プレゼントの現在のバッチがサンタのそりに収まるかどうかを判断するのに助けが必要です。彼らを助けるために、あなたが選んだ言語で可能な限り短いプログラムを書いてください。

制約

• サンタのそりは、幅6フィート、長さ12フィート、深さ4フィートです。
• プレゼントは壊れやすい可能性があるため、互いに積み重ねることはできません。
• プレゼントは好きなように回転させたり反転させたりすることができますが、サンタはかなり強迫観念に満ちているので、回転を90度の倍数に保ちます。
• ノースポールの健康と安全の規制では、プレゼントがそりの上から1フィートを超えて突き出てはならない（したがって、高さが5フィートを超えてはならない）と規定されています。

入力

入力はオンにSTDINなり、バッチ内のプレゼントの数を表す1つの整数に、プレゼントの次元のリストが続きます-1行に1つ、スペースで区切られた3つの次元（フィート単位）。

例：

1
6 12 5

6
1 12 3
1 12 4
1 12 1
1 12 5
1 12 3
1 12 5

1
4 3 13

1
6 12 6

出力

プレゼントをそりに詰め込める場合は「YES」、できない場合は「NO」と出力する必要があります。

上記の例の出力：

YES

YES

NO

NO

テストスクリプト

前と同じように、JoeyとVenteroによって書かれたいくつかのテストスクリプトを使用して、このタスクのテストを作成しました。

• バッシュ
• パワーシェル

使用法： ./test [your program and its arguments]

報酬

仕様を満たしていることを確認でき、テストに合格し、明らかにゴルフの試みを行った各エントリは、私から賛成票を受け取ります（そのため、使用方法を回答してください）。2011年末までに最短のソリューションが勝者として受け入れられます。

Haskell、312 318文字

import Data.List
s(ξ:υ:_,λ:σ:η:_)(x:y:_,l:w:_)=(ξ+λ<=x||ξ>=x+l||υ+σ<=y||υ>=y+w)&&ξ+λ<7&&υ+σ<13&&η<6
y p l=[(v,r):l|v<-[[x,y,0]|x<-[0..5],y<-[0..11]],r<-permutations p,all(s(v,r))l]
main=do
 n<-readLn
 p<-mapM(fmap(map read.words).const getLine)[1..n]
 putStr.r$foldr((=<<).y)[[([9,0],[0..])]]p
r[]="NO"
r _="YES"

現時点では完全には理解していない何らかの理由で、妥当な時間でテスト＃9と＃16を完了できません。しかし、パフォーマンスについては何も言わなかったのですか？

373 383文字

このバージョンは、例でははるかに高速に実行されます。まず、単に面積が小さすぎるために不可能ではないかどうかをチェックし、次に、指定された順序で挿入するのではなく、最大のパーセルから開始します。領域の検出は完全ではないことに注意してください。回転は考慮されないため、一部の入力では誤った結果が得られる場合があります。ただし、テストスクリプトでは機能します。

import Data.List
s(ξ:υ:_,λ:σ:η:_)(x:y:_,l:w:_)=(ξ+λ<=x||ξ>=x+l||υ+σ<=y||υ>=y+w)&&ξ+λ<7&&υ+σ<13&&η<6
y p l=[(v,r):l|v<-[[x,y,0]|x<-[0..5],y<-[0..11]],r<-permutations p,all(s(v,r))l]
π=product
main=do
 n<-readLn
 p<-mapM(fmap(map read.words).const getLine)[1..n]
 putStr$if sum(map(π.init)p)>72||null(foldr((=<<).y)[[([9,0],[0..])]].sortBy((.π).compare.π)$p)then"NO"else"YES"

Python、461文字

import sys
def L(P,z):
 if not P:return 1
 for w,h in[P[0],P[0][::-1]]:
  m=sum((2**w-1)<<i*6for i in range(h))
  for x in range(7-w):
   for y in range(13-h):
    n=m<<y*6+x
    if z&n==0and L(P[1:],z|n):return 1
 return 0
for G in sys.stdin.read().split('\n\n'):
 S=[(x,y)if z<6 else(x,z)if y<6 else(y,z)if x<6 else(9,9)for x,y,z in[sorted(eval(g.replace(' ',',')))for g in G.split('\n')[1:]if g]]
 print'YES\n'if sum(x*y for x,y in S)<73and L(S,0)else'NO\n'

Lの長方形をPそりに入れることができるかどうかを再帰的にチェックします。ここzで、既に占有されているセルのビットマスクです。S割り当ては、パッケージ（最大寸法<= 5が垂直方向に行く）のそれぞれについて、どちらが上かを決定します。

コードは潜在的に指数関数的ですが、すべてのテスト入力で迅速です。

GolfScript、130文字

"NO":g;~](;3/127{128*64+}12*\{.,0>.!{"YES":g;}*{([{[~@]..[~\]\}3*;]{)6<{~[2\?(]*128base 83,{2\?1$*.4$&0={3$|2$f}*}%;}*}%;}*;;}:f~g

GolfScriptで実行するにはかなり時間がかかりました。それをゴルフしようとすると、さらにいくつかのテストケースが壊れました。

このバージョンをあまりにも多くのプレゼントで実行すると、このバージョンが非常に遅くなる可能性があることに注意してください。