ಕಟ್ಟುನಿಟ್ಟಾಗಿ P ಯಲ್ಲಿ ಅಥವಾ P ಗೆ ಸಮನಾಗಿರುತ್ತದೆ
ಅದೇ ರೀತಿ, L (ಲಗಾರಿದಮಿಕ್ ಜಾಗದಲ್ಲಿ ಪರಿಹರಿಸಬಹುದಾದ ಎಲ್ಲಾ ಸಮಸ್ಯೆಗಳ ಗುಂಪು) ಕಟ್ಟುನಿಟ್ಟಾಗಿ P ಯಲ್ಲಿ ಅಡಕವಾಗಿದೆಯೆ ಅಥವಾ P ಗೆ ಸಮನಾಗಿದೆಯೆ ಎಂಬುದು ತಿಳಿದಿಲ್ಲ. ಮತ್ತೊಮ್ಮೆ, ಇವೆರಡರ ನಡುವೆ ಅನೇಕ ಸಂಕೀರ್ಣತೆಯ ವರ್ಗಗಳಿವೆ, ಉದಾಹರಣೆಗೆ NL ಮತ್ತು NC, ಮತ್ತು ಅವು ಪ್ರತ್ಯೇಕ ಅಥವಾ ಸಮಾನ ವರ್ಗಗಳೋ ಎಂಬುದು ತಿಳಿದಿಲ್ಲ.
ಅಕೌನ್ ಆಗಿದ್ದರೂ, P ಗೆ ಸಂಬಂಧಿಸಿದಂತೆ L ನ ಅತ್ಯಂತ ಸಾಮಾನ್ಯವಾದ ಗುಣಲಕ್ಷಣಗಳು ಯಾವುವು?