ทฤษฎีความซับซ้อนในการคำนวณ
ทฤษฎีความซับซ้อนในการคำนวณ (English: Computational Complexity Theory) เป็นสาขาหนึ่งของทฤษฎีการคำนวณ ที่มุ่งเน้นไปในการวิเคราะห์เวลาและเนื้อที่สำหรับการแก้ปัญหาหนึ่ง ๆ โดยปกติแล้วคำว่า "เวลา" ที่เราพูดถึงนั้น จะเป็นการนับจำนวนขั้นตอนที่ใช้ในการแก้ปัญหา ส่วนในเรื่องของ "เนื้อที่" เราจะพิจารณาเนื้อที่ ๆ ใช้ในการทำงานเท่านั้น (ไม่นับเนื้อที่ ๆ ใช้ในการเก็บข้อมูลป้อนเข้า). ในบางกรณีเราอาจจะสนใจการวิเคราะห์ปริมาณอื่น ๆ ที่นอกเหนือไปจากพื้นที่กับเวลา ยกตัวอย่างเช่น ในการประมวลผลแบบขนาน เราอาจจะวิเคราะห์ว่าต้องใช้หน่วยประมวลผลกี่ตัวในการแก้ปัญหาที่กำหนด. ทฤษฎีความซับซ้อนต่างจาก ทฤษฎีการคำนวณได้ ที่จะเน้นไปในการวิเคราะห์ว่าปัญหาสามารถแก้ได้หรือไม่ โดยไม่สนใจทรัพยากรที่ใช้ในการแก้ปัญหา
เคมีการคำนวณ
เคมีการคำนวณ () เป็นสาขาหนึ่งของเคมีทฤษฎี (theoretical chemistry) มีความคาบเกี่ยวกันระหว่างวิทยาศาสตร์คอมพิวเตอร์ (computer science) วิชาเคมี (chemistry) วิชาฟิสิกส์ และวิชาคณิตศาสตร์วัตถุประสงค์หลักก็คือการใช้แนวคิดทางทฤษฎีที่พิสูจน์ได้ทางฟิสิกส์และเคมีมาออกแบบหรือสร้างระบบจำลองที่มีประสิทธิภาพ ยกตัวอย่างเช่น ระบบจำลองของแข็ง ระบบจำลองดีเอ็นเอ ระบบจำลองโปรตีน เป็น้ตน ซึ่งในการประมาณการ (approximation) ทางคณิตศาสตร์จะใช้โปรแกรมการคำนวณ (computer program) มาคำนวณ เนื่องจากมีความซับซ้อนและความยุ่งยากทางคณิตศาสตร์มากเกินกว่าที่มนุษย์จะกระทำได้ ซึ่งคอมพิวเตอร์สมรรถนะสูงนี้เองที่เป็นเครื่องมือที่ช่วยให้นักเคมีคำนวณลดระยะเวลาในการ simulation ลงอย่างมากอีกด้วย สำหรับสิ่งที่ต้องการจะศึกษาก็มีปลายรูปแบบแตกต่างกันไป ขึ้นกับระบบนั้น ๆ โดยส่วนมากจะใช้คำนวณหรือศึกษาคุณสมบัติของโมเลกุล (molecule) เช่น