Menghitung segitiga dalam grafik umum dapat dilakukan secara sepele dalam waktu dan saya pikir melakukan lebih cepat itu sulit (referensi diterima). Bagaimana dengan grafik planar? Prosedur langsung berikut ini menunjukkan bahwa hal itu dapat dilakukan dalam waktu . Pertanyaan saya ada dua:
- Apa referensi untuk prosedur ini?
- Bisakah waktu dibuat linier?
Dari bukti algoritmik teorema pemisah planar Lipton-Tarjan, kita dapat, dalam waktu linier dalam ukuran grafik, menemukan partisi simpul grafik menjadi tiga set sedemikian sehingga tidak ada tepi dengan satu titik akhir di dan yang lainnya dalam , memiliki ukuran yang dibatasi oleh dan keduanya memiliki ukuran yang dibatasi oleh dari jumlah simpul. Perhatikan bahwa setiap segitiga dalam grafik terletak seluruhnya di dalam atau seluruhnya di dalam atau menggunakan setidaknya satu simpul dengan dua simpul lainnya dari atau keduanya dari . Jadi cukup untuk menghitung jumlah segitiga pada grafik pada dan tetangga dalam (dan juga untuk ). Perhatikan bahwa dan oneighbours-nya menginduksi grafik planar -outer (grafik tersebut adalah subgraf dari grafik planar dengan diameter ). Jadi menghitung jumlah segitiga dalam grafik seperti itu dapat dilakukan secara langsung oleh pemrograman dinamis atau dengan penerapan teorema Courcelle (saya tahu pasti bahwa versi penghitungan seperti itu ada di dunia Logspace oleh Elberfeld et al dan saya menduga itu juga ada dalam dunia waktu linier) karena membentuk segitiga tidak berarah adalah a properti dan karena dekomposisi pohon lebar terikat mudah diperoleh dari grafik planar -outer tertanam .
Dengan demikian kami telah mengurangi masalah menjadi sepasang masalah yang masing-masing fraksi konstan lebih kecil dengan mengorbankan prosedur waktu linier.
Perhatikan bahwa prosedur dapat diperluas untuk menemukan jumlah jumlah instance dari grafik yang terhubung tetap di dalam grafik input dalam waktu .