プレーナグラフの向き一貫性、約束推論、一意性の計算複雑性と、マインスイーパーバリアントへの応用

プレーナグラフの向き一貫性、約束推論、一意性の計算複雑性を解析し、マインスイーパーバリアントへの応用を示す。