| 摘要 |
<P>PROBLEM TO BE SOLVED: To easily determine whether strategy-proofness is satisfied or not with respect to auction of use right with a redistribution concerning a plurality of units under budget limitation. <P>SOLUTION: An auction mechanism strategy-proofness determination device includes: specification input means 301 for inputting specification data of a mechanism regulating a rule to perform the auction, which includes the number of nodes, an in-node application mechanism, and inter-node link information; in-node application mechanism determination means 302 for checking the inputted specification by referring to a mechanism table where determination information on whether the strategy-proofness is satisfied or not is written; link cycle extraction means 303 for noting a start point node and an end point node of the inter-node link information in the specification data, and performing extraction when a link cycle is generated; cycle characteristic determination means 304 for determining whether the link cycle including only one information link exists or not; and a determination result output means 305 for performing and outputting determination on whether the mechanism is strategically operable or not based on the determination result. <P>COPYRIGHT: (C)2012,JPO&INPIT |
