Web matematika

L’opez-Ortiz, dalam survei yang berguna, terlihat di sejumlah paradigma berguna untuk memahami dasar-dasar algoritmik Internet pada umumnya dan Web pada khususnya. Menerapkan wawasan tentang algoritma masalah jaringan, dalam konteks protokol tertentu mendasari Web, berpotensi sangat bermanfaat. Dan konteks yang sangat penting – fungsi (atau sebaliknya) dari algoritma dalam konteks Web menyediakan beberapa bukti yang paling meyakinkan bagi mereka yang ingin berpendapat bahwa itu adalah lingkungan yang penting unik. Pertumbuhan dari theWeb, sebagai L’opez-Ortiz menunjukkan, adalah seperti yang paling canggih teks algoritma pengindeksan yang beroperasi baik di dalam zona kenyamanan mereka dalam aplikasi standar pada awal tahun 1995, namun berjuang keras pada akhir tahun itu. Dalam hal ini, pemahaman insentif yang tersedia bagi pengguna Web harus menyediakan metode untuk model menghasilkan perilaku, dan karenanya pandangan tentang apa global set perilaku yang diinginkan bisa direkayasa, dan apa yang bisa sistem mendukung perilaku tersebut. Web tidak memiliki mekanisme koordinasi pusat, namun menghasilkan sistematis perilaku menarik berkat insentif dan kendala dikenakan baik oleh arsitektur, protokol dan standar, dan mereka interaksi dengan sifat sosial atau psikologis dari pengguna atau desainer (Memang, hal ini bisa dibilang fakta bahwa Web dibangun, dikelola dan digunakan oleh banyak pengguna dunia nyata dengan kepentingan hampir terbayangkan beragam dan preferensi yang yang terpenting untuk aplikasi paradigma / ekonomi teori permainan). Kunci keberhasilan dari Web terletak pada efek jaringan menghubungkan ke sumber daya, jika yang baik memiliki efek jaringan, kemudian nilai itu meningkat baik untuk pemilik individu pemilik semakin banyak adalah, dan semua hal yang sama dengan lebih kaya set link besarnya penggunaan Penyambungan. Jaringan efek dapat berupa langsung atau tidak langsung. Efek langsung adalah di mana permintaan untuk barang dihubungkan dengan jumlah orang yang memilikinya – telepon dan email menjadi contoh utama.

Sebuah paradigma penting kedua adalah bahwa pencarian informasi. IR adalah fokus untuk perlombaan senjata antara algoritma untuk mengekstrak informasi dari repositori yang kedua repositori mendapatkan lebih besar dan lebih kompleks, dan tuntutan pengguna lebih sulit untuk memuaskan (baik dalam hal respon waktu atau kompleksitas dari query). Satu masalah yang jelas berkenaan dengan IR melalui Web adalah bahwa Web tidak memiliki otoritas QA. Siapapun dengan account ISP dapat menempatkan halaman di Web, dan dikenal Web telah menjadi situs proliferasi sebuah teori konspirasi, legenda perkotaan, trivia dan fantasi, serta sebagai penderitaan dari semua gejala informasi unmanaged seperti out-of-date halaman dan duplikasi, semua kesulitan yang berkaitan dengan multimedia representasi, dan semua indeterminacies diperkenalkan oleh kurangnya ketat terkendala representasi pengetahuan.

Memahami matematika dan topologi dari Web adalah praktis impor untuk memahami invariants dari pengalaman Web dan Oleh karena itu menyediakan peta jalan untuk ekstensi untuk theWeb. Yang penting properti yang memiliki Web adalah ketahanan dalam menghadapi meruntuhkan pengaruh; baik hacker maupun kesalahan yang tak terelakkan dalam fisik jaringan sangat mengganggu theWeb, meskipun sesuatu seperti satu router dalam empat puluh turun di setiap saat satu. Barab’asi dan rekan advokat penggunaan teori perkolasi, studi tentang proses dalam ideal acak 2 (atau lebih) media dimensi, untuk melihat topologi kontribusi terhadap toleransi kesalahan. Sebagai Web berkembang untuk memasukkan model layanan, di mana perangkat lunak agen dan layanan Web akan hidup online dan dipanggil oleh pengguna, dan di mana metafora yang semakin penting adalah bahwa klien menghubungi penyedia layanan, representasi matematika baru, formalisms dan teori menjadi berguna untuk menggambarkan hubungan ini. Teori Petri jaring sistem terdistribusi [269, 298] model diskrit, yang Web adalah contoh utama. Teori yang berlaku menambahkan pengertian concurrency dengan ide dari mesin negara, dan telah disarankan sebagai sarana penting model layanan Web [296]. Proses aljabar, seperti CSP [141] atau CCS [203] juga dapat model paralel pengolahan.

Mereka menyediakan sebuah array konstruksi untuk model dinamika pengolahan informasi dan komunikasi output dan meminta input, seperti kebijakan, urutan tindakan, fungsi pilihan, proses dan metode sinkronisasi. Salah satu perkembangan terbaru adalah π-kalkulus (bernama analogi ke λ-kalkulus), yang merupakan pengembangan aljabar proses (khusus suatu cabang CCS) dirancang untuk menyediakan mobilitas dalam pemodelan proses. The π-kalkulus sengaja minim (mengandung sedikit lebih dari saluran komunikasi, variabel, replikasi dan concurrency), tetapi dapat diperluas dengan mudah untuk mencakup fungsi urutan pertama dan dasar pemrograman konstruksi. Sebagaimana telah kita lihat ada kebutuhan untuk bahasa untuk menggambarkan layanan web (seperti CDL atau BPEL), dan mungkin bahwa matematika yang tercantum di sini bisa mendukung bahasa tersebut. Ada hidup perdebatan tentang jala Petri dan π-kalkulus, berfokus pada manfaat relatif dari, jaring negara berbasis grafis, dan semakin tekstual, linier, aljabar proses-event.